perm filename FONT1X.GF[MF,DEK] blob
sn#757951 filedate 1984-06-05 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εbp_
'#_LF∂λπYn&λ<YMvp:λ w⊂1≠m↔_xA∞'(6→>P∂(8Pa z@≠gXw= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Po≡⎇o(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≠gXw=?{x#Z≡Po≡⎇o(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@~GXw= ≡Pt≡⎇o(!@ ␈␈␈x␈@π@qq@9@30⊂MA∪0(MAs0@MBS0XMC30pMD∪1λMDS1 ME318MF∪1PMFs1hMGS2MH32⊂MI∪2(MIs2@MJS2XMK32pML∪3λMLs3 NLsC NLsC NLsC NLsS_N sS_N sC N
∪30N
SC0MN∪C@N∞33PN∞sCXMO3ChMOsCxN⊂λ X ⊂3D!'λ∧⊂MPλ9` ⊃∪4"gα@λ_gα@⊂_&bP⊂_gα@ _'α@ _fb@0_'α@8_'α@8_&b@H_'α@H_&b@X_'α@X_'α@`_&b@h_'α@p↔gα1↔fbA↔gαAλ↔fbA⊂↔gαA_↔gαA_↔fbA(↔gαA(↔gα18↔fbA8↔gαA@↔fbAH↔gαAP↔gα1X↔fbA`↔gαAh↔'α1p↔fbAx↔'α2↔&bBλ↔'αBλ↔'α2_↔&bB_↔'α2(↔'α2(↔&bB0↔'α28↔&bB@↔'α2H↔'α2P↔&bBP↔'α2`↔'α2`↔&b2p↔'α2p↔&bBx↔'α3↔'α3λ↔&bCλ↔'α3_↔'α3_↔&b3(⊗gα3(↔&bC0⊗gα38↔ @A0 N¬Y` ↓b3H↔'¬CP⊗gπb@↔&h (N⊂∩i` %S4L'λ @N⊂∪→` ~`∩hMP
@λ↔'λεX↓K3D5@ei` ~@RhMP
0(↔'λεPβK3D5↓ei` ~!∩hMP
H↔'λεP¬ 3D4BeiX ~ABhN⊂
⊂h⊗gεβ_ββEY`∀P bhMD`A_ ∪eY`¬βα4( 3@λ
Dh¬λ⊗lB4(K31_ ∀eY` P
2hMDh¬(⊗gα4*K3A_ ∃EYX P
rhN∧h¬@⊗fb4,K3A_ ⊗%i` P "hMDh¬X↔'α4. 3A⊂ ↔%iX P bhN∧h¬p↔&b40 3A_ _¬i` P ∩hMDhε⊂↔'α41K31_ →¬i` P RhN∧hε(↔&b43 SA_ →ei` ⊂
αpMDhεH↔'α44KS1_ ~Ey` P
2pN∧hεX↔fb46KSA_ ≠%yX P
bxN∧hεx↔gα47Ks1_ ≤ε ` P∞∪MEλπλ_'α49 3A_ ≤f X P∞CλN∧hπ _fbD:L3A_ ≥F→X
⊂∞c⊂N¬λπ0→&bD< SA ≡ε)`
⊂∂β_MEλπH~'αD= s1 ≡fI`
⊂∂3 ME(πX~gαD>M∪1( ∨&Y`
P∂S0ME(πp≠'αT?
s10 ∨fi`
P⊂β8N¬(λ≠fbd@∞∪A( '→X ⊂⊂∪HN¬Hλ⊂≤fbdAN3A0 g$ xA∞'(6→>P∂(8Pa z@_ λJ⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pa2←(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@_ λJ⎇?{x#Z≡Pa2←(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@↔λJ⎇ ≡Pf2←(!@!?␈␈x␈@⊃Sh@⊃⊂ )` ∪SD)'λ¬(N⊂
y` ⊗3D-gλ¬hN⊂ y` _∪D1'λε_N⊂ Y` →SD3gλε@N⊂
→` ~SD5gλε`N⊂
Y` ≠3B8
K∪B8∂J3B8⊂J∪B8⊃ sB8∩ SB8∩I3B8∪ 3B8∪I3B8∀ ∪B8∀ 3B8∀I∪B8∃λsB8∃ ∪B8∃HsB8∃I∪B8⊗λsB8⊗λsB8⊗ ∪B8⊗HsB8⊗HsB8⊗HsB8↔λsB8↔λsB8↔λsB8↔λsB8↔λsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔HsB8↔λsB8↔λsB8↔λsB8↔λsB8↔λsB8↔λsB8⊗HsB8⊗HsB8⊗HsB8⊗λsB8⊗λsB8⊗λsB8∃HsB8∃HsB8∃ ∪B8∃λsB8∀I∪B8∀ ∪B8∀ ∪B8∪I∪B8∪ ∪B8∩I3B8∩ 3B8⊃ sB8⊂
∪B8∂
3D6gλεhN⊂
I` ~sD5'λεHN⊂
` →sD3gλεHN⊂
)` ≠∪D6gλεpN⊂∞ ` ≤3D9'λπ_N⊂∞I` ≥3D;'λπ8N⊂∂ `∪I%I`∪J%→`∪Je `∪K¬ `∪KDi`∪Kdi`∪L∧Y`∪L$Y`∪LDY`∪LdI`∪LdY`∪M∧I`∪M$I`∪M$I`∪MD9`∪MDI`∪Md9`∪MdI`∪N∧9`∪N∧9`∪N∧I`∪N$9`∪N$9`∪N$9`∪N$I`∪ND9`∪ND9`∪ND9`∪ND9`∪ND9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪Nd9`∪ND9`∪ND9`∪ND9`∪ND9`∪ND9`∪N$I`∪N$9`∪N$9`∪N$9`∪N∧I`∪N∧9`∪N∧9`∪MdI`∪Md9`∪MDI`∪MDI`∪M$I`∪M$I`∪M∧I`∪LdY`∪LdI`∪LDY`∪L$Y`∪L∧Y`∪Kdi`∪KDi`∪K¬ `∪Je `∪J%→`∪IE9` ≡∪D;gλπ0N⊂∞Y` ≥∪D9gλπ⊂N⊂∞→` ≤∪D7'λεhN⊂
I` ~SD4gλε8N⊂ Y` _sD0gλ¬xN⊂ I` ⊗3D*gλ¬"< G⊂:[ ←(z@≤(0
= ∞Pw<>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(:]oλz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ∞Pw<>←x←Qm∂(:]oλz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ∞w<>P∂(=≥oλz@⊂`⊂␈␈x␈␈`π@5∨␈x␈⎇ 7 ≡"→_⊃eeY@~fπI@ ⊂s∀$fH∧pLP
9P ∃s$-fH¬xM⊂ 9P →s$5&hεhM⊂∞ X ≤s$;&hπHMP∂9P ∨S4@&gpx~&gAH↔fg"λ∃fg∩0∀fgαX∪ffrx∪&fc ⊃ffc8⊃&fSX⊂gεCp⊂&f4 Gs3_ ⊃βiX→PλapN H∧@∂&f$%π33⊂ ∪βYX→⊂ ahN (¬∞&f∀)π∪C ∀cIX_⊂
Q`ML(¬0
gε∧,εs3 ⊗#I`↔P 1XMLλ¬X∞'¬t.Fs2x ↔c9`↔⊂ ↓XMKhελ
g¬d1εs2pN S2pN 3BhMK3BhN ∪2hN ∪B`MK∪B`N
s2`N
sBXMJsBXN
SBPMJsBPN
SBPMJSBPN
SBHN
3BHMJ3BHN
3BHN
∪B@N
∪2HN
∪B@N
∪B@N
∪B8N sB8N s2@N
∪B@N
∪B8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB@N
∪B@N
∪B@NIsB8N sB8N
∪B@N
∪B@N
∪B@NJ∪B@N
∪B@N
∪BHN
3R@N
∪BHN
3BHNJ3BHN
3BPNJ3BHN
SBPNJ3BPN
SBXNJSBXN
sRXN
sB`NJsB`NJsB`N ∪R`N 3R`N 3Bp _C9h⊗P !XN Hε
g%d/FsBx ↔#Ih↔⊂ QXN h¬X∞'%t-εsC ⊗βIh↔P
q`NKh¬(∞gε∧*π∪S ∀CY`_P
↓hNL(∧p∞g&∀&πSC⊂ ∩Cih→⊂ ↓pNLH∧(⊂'&$!H∪C ⊂∧ h~∂$→h~∞D9h~MDI`≠ dYh≠Kdih≤
E h≤I%)h≥GeIh≡F¬yh ⊂AC NP⊂ h ∨ST=gHπ@NP∞ih ≤sd8'(εhO⊂
)h →sd1gH¬xO⊂ 9p ∃st)'H∧pOP x ⊂TβXP
∀"HQG(Oλα≤NV`2⎇ ≡Pq!BO(8λ≡hz@≤(0
< G⊂:[ ←(z␈wt84= ∞ {>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(8λ≡hz␈wt84= ∞ {>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(5H≡hz@= ∞P {>P∧_∧ ␈␈␈␈x↓h p
8ελ∞$ε→⊂ ⊂∩4'$H¬`GP
Hp ∨3D?gλλ⊂N⊂⊂I` !SDD'λλPN⊂⊃9`ε(λN⊂⊃y`π@(λN⊂∩→` (λNP∩9`
(πxN⊂∩Y` %SDKgλ @N⊂λ10 ⊂∪C@∪NsApC&s@Nλλ∧0~gβt$M∪Ax ∩f9`∂P S⊂Nπh∧x_'βt(KsAx ∀Ey`∂P
2xNπh¬(⊗gβt+ 3Qp ∃eI`∂⊂ α`NπH¬H∃gβT-JsAh ↔¬9`∞P RPNπ(¬h∃gβT/
SAh ↔e→`∞P rPNπ(ε∀gβT0J3Ah _%→`∞P "HNπ(ε⊂∀gβT1J∪Ah _e→`∞⊂ R@Nπλε(∀'βD3
∪A` →E `∞⊂ r8Nπλε8∀'βD3J∪A` ~∧y`∞⊂
α@NFhε@∀'β44IsAX ~$y`
P
∩8NεhεH∀'β45 sAX ~Dy`
P
"8NεhεP∪gβ45
∪AX ~dy`
⊂
B8NεHε`∪gβ$6 sAP ≠¬ `
⊂
B@NεHεh∪gβ$6IsAP ≠$y`
⊂
R8NεHεh∪gβ$6IsAP ≠$y`
⊂
R8NεHεh∀'β$6J∪AP ≠% `
⊂
b8NεHεp∪gβ$7 sAP ≠Dy`
⊂
b8NεHεp∪gβ$7 sAP ≠Dy`
⊂
b8NεHεp∪gβ$7 sAP ≠Dy`
⊂
b8NεHεp∪gβ$7 sAP ≠Di`
⊂
b0NεHεp∪'β$7 SAP ≠Di`
⊂
b0NεHεp∪'β$7 SAP ≠$y`
⊂
R8NεHεh∪gβ$6IsAP ≠$y`
⊂
R0NεHεh∪'β$6ISAP ≠$i`
⊂
R0NεHε`∪gβ$6 sAP ≠∧i`
⊂
B0NεHε`∪'β$6 SAP ~dy`
⊂
28NεHεX∪'β$5ISAP ~di`
⊂
"8NεhεH∪'β44ISAX ~$i`
P
α8Nεhε@∪'β44 SAX →dy`
P r8Nεhε8∪&cD3 sA` →Dy`∞⊂ b0Nπλε(∪gβD2IsA` →∧y`∞⊂ B8Nπλε_∪gβD1IsA` _E `∞⊂ "8Nπλελ∀'βD0IsA` _¬ `∞⊂ α8Nπλ¬x∀'βT.J∪Ah ↔% `∞P B@Nπ(¬X∀gβT-
3Ah ⊗E→`∞P ∩HNπ(¬@∃'βT+JSAh ∃E)`∞P
RXNπ(¬ ∃gβT)JsAh ∀EI`∞P
αhNπ(∧x⊗fcd' 3Ax ∩ei`∂P "xNπh∧@_'βt# 3Ax ⊃ε)`∂Pλ#_Nπh∧~'βsp~gβsX≠gβs@≤gβs ≡'βs∨gβrX ⊂SAx∩⊂ `⊂¬h¬_N⊂⊃ ` !sDBgλλ N⊂⊂)` ∪4?gλπpN⊂∂I` ≡3D;gλπ(N⊂∞)` ≤∪D6gλεPN⊂ i` _SD/'λ¬HN⊂
)` ∩SCh"< G⊂:[ ←(z@≤(0
= p:}}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(3N←Xz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ p:}}←x←Qm∂(3N←Xz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ :}}P∂(6∞←Xz@⊂`⊃?␈x␈␈`ε@24 εH
pNP∃Ih *STT'(
0NP∀Ih (STP'( pNP∪Ih &SDLgλ @N⊂∩y` %SDJgλ N⊂∩9` $SDHg∧cX↔g∧d/BSB0 →Ih∩P `λN 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(NI∪B N ∪B N ∪B N ∪B_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NHSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂ _ →`⊃⊂ ⊂NλH¬hαg∧$-α∪B⊂ ∩C `⊃
G ` !∪DB'λλ N⊂⊂I` !∪DB'λλ N⊂⊂I` !∪DB'λλ N⊂⊂I` !∪DB'λλ N⊂⊂I` !∪DB'λλ N⊂⊂I`⊃
π)`⊃⊂λQhNλH¬@¬'∧$.↓SB⊂ ↔`9`⊃⊂ ⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂MHsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_N ∪B N ∪B N ∪B N ∪2(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 320 → )`∪⊂ 0(N H¬p¬g∧c@→'λ λN⊂∩)` $sDJ'λ (N⊂∩i` %sDL'λ HN⊂∪)X '∪4O&h
MP∀)X )∪4S&h
@MP∃)X +∪4W⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Parλo(8Pa xA∞'(6→>P∂(␈ohv@z@_<@#=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Parλo(␈ohv@z@_<@#= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P\rλo(z@→\@#= λ0λox␈␈␈p∧@_/x␈␈␈@~⊂∧DG'(λpN⊂⊃yh #SDGgλλxNP⊃y` $∪DH'λ λNP∩ ` $3DHgλ ⊂N⊂∩9` $sDJ'λ N⊂∩Y` %3DK'∧d L∪B0 ⊗# `∪⊂ ⊃λN Hε0ε'∧d5α3B0 ≠@Y`∪⊂∞⊂_N Hπ g∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪&dy`∪g∧y`∪g∧t+@sB8 ∃i`∪P
⊂HN h∧hεg∧t#¬∪B8_
SD@gλλλN⊂⊂→h ∪D@'λλN⊂⊂ ` ∪D@'λλN⊂⊂ ` ∪D@'λλN⊂⊂ ` ∪D@'λλN⊂⊂ ` ∪D@'∧cλ∀g∧d#DsB0 ∪AI`∪⊂
@N H¬(αg∧d,SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0MIsB8N sB8N sB8N sB8N sB8N sB8N sB8MJ∪B@N
∪B@N
∪B@N
∪2HN
3B@NλSA`MF∪A⊂Nβ∪@8N(Oλα≤NV`2⎇ ≡Pq!BO(B←↔_z@≤(0
< G⊂:[ ←(z␈wt84= ⊂P|\}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(B←↔_z␈wt84= ⊂P|\}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(@∨↔_z@= ⊃ |\}P∧_∧8␈␈␈␈xα ∞8␈␈␈␈_
`λλ
%D→8⊗&εIH≥f(∧λM⊂λiP ∩S∀(&H¬ M⊂ X ↔∪$0&Hε_M⊂ yX ~S$7&hπMP∞9P ≥S4<fhπXMP∂iP 34Afhλ0MP⊃ X "S4F&hλpMP∩ X $S4J&h 0MP∩yX &3DM&h `MP∪YX 's4Pgλ
λMP∀9X )∪4$εH∧ N⊂λ28≡&h∧λ↔N∪3x~M3Ch≥ s3`∨L∪3X ⊂ey`≥⊂λbhMN(∧H⊗&g∀&
sC8 ∀¬→X≠P
"@N
H¬(∪&fd+ISC( ⊗$YX~P 2 MM(¬h⊃gεD/HS3 _$)`~⊂ ∩⊂MMλε_⊂gε42H∪C⊂ →D X→P qxN Hε@∂ff44πsC⊂ ~C X→⊂
1⊂N HεXεgε∀6↓s3⊂ ≠→`→&f)`→'ε→X→'ε)`_gε→X→'ε→`_ff)`→'ε→`_ff)`→'ε)`_gε→X→'ε)`→'ε)`→'ε→`_ff)`→'ε)`→'ε)`→'ε)`→'ε)`→'ε)`→'ε$(Pλ `→⊂
∀ 'ε$(Pλ `→⊂
∀ 'ε$(⊂λ→`→⊂
∧ gε$(⊂λ→`→⊂
∧ gε$(⊂λ→`→⊂
∧ gε$'Pλ)`→⊂ t!'ε$'Pλ)`→⊂ t!'ε$'Pλ)`→⊂ t!g&∀'⊂λI`→⊂ T"'ε$&PλI`→⊂ T"'ε$&PλI`→⊂ D"g&∀&⊂λY`_P D"gε$%PλY`→⊂ 4"gε$%PλYh_P $#'ε∀%⊂λi`→⊂ ∀#'ε$8πsSλ ≤βy`_P∞↓xN Hεx∂gε$7GsSλ ≠cy`→⊂
axN Hεp∂g&∀7πsC⊂ ≠#y`→⊂
QxNLHε`∂gε$6πsS⊂ ~cy`→⊂
1xN hεP∂g&$5πsC_ ~#yh→⊂
⊃xN hε@∂g&43GsC_ →D `~⊂ BλNMλε⊂⊃'εD0HsS ↔dI`~P R(NM(¬X∪'&T,IsC0 ∃E→h≠⊂
BPN
h¬⊂∃g&t'K∪CH ∪¬Yh≤P ∩xNN(∧0_gπ4! sS`∨
3S`≥MsCp≠∞ST πYh ⊂E∀ gλ∧(⊂Pλih ∩"D''(
PNP∃→` *3TT'(
8NP∀ih )3TR'λ
NP∀9h (STPg(
NP∪yh 'ST?#ih ∨!pNP∂ _∂'(πH↓GST;Aβip ≥QpNP∞ 0∂'(πβGST7αβih ≠↓⊃pO⊂
⊂P∂'(ε8¬GSd2ββih _!apO⊂ `x∂'(¬`λπSd,∧Cip ∃"1pNP
!(∂'H∧p GSd%ε#ix ⊃#1pO⊂λ⊃h∂'GQx∂'fr⊂∂'f∩(∂(¬∩H
h∧αp
hb#(πxa)`α⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pyβ<∂(8Pa xA∞'(6→>P∂(␈ohv@z@≡ hp=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pyβ<∂(␈ohv@z@≡ hp= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Ptβ<∂(z@∨@hp= λ0 ∂x␈␈␈p∧@→←x␈␈␈P~P 0_Kα(π`α%At;αRq_ ≤Ay0 P
A(Kπhε0
edD0H∩rH _∧→`∀P αλN
(ε⊂g¬∀0λ3BH _∧→`∀P αλN
(ελ⊂'¬∀0H∪BH _$ `∀P ∩N
(ελ⊂'¬∀0H∪BH _$ `∀P ∩N
(ελ⊂'%∧0H∪B@ _$ `∀⊂ ∩N
λελ⊂'¬∧0H∪B@ _$ `∀⊂ ∩N
λελ⊂'¬∧0H∪B@ _$ `∀⊂ ∩N
λελ⊂'¬∧0H∪B@ _#y`∀⊂ ⊃xN
λελ∂g¬∧0GsB8 _Cy`∪P !xN hε⊂∂g∧t1πsB8 _Cy`∪P !xN hε⊂∂g∧t1πsB8 _Cy`∪P !xN hε⊂∂g∧t1πsB8 _Cy`∪P 1pN hε_∂'∧t1GSB8 _ci`∪P 1pN hε_∂'∧t1GSB8 _ci`∪P 1pN hε_∂'∧t1GSB8 _ci`∪P 1pN hε_∂'∧t1GSB8 _cih∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε⊂g∧d- sB0 ∃¬Y`∪⊂ S N H∧(≡'∧cX ⊃SB`∪⊂
Y` )sDSgλ
8N⊂∀y` )sDSgλ
8N⊂∀y` )sDSgλ
8N⊂∀y` )sDSgλ
8N⊂
BP∀gλ∧( ⊃βi`≥⊂ qpN H¬8∂'¬$/GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧d1GSB0 _ci`∪⊂ 1pN Hε_∂'∧∀4π3AX ≠By`
P∞A⊂N∧λπHε'↓$?AS@ ! ∀ xA∞'(6→>P∂(8Pa z@⊃f⊂-= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PG_K/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊃f⊂-=?{x#Z≡PG_K/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@⊂F⊂-= ≡PL_K/(!@$␈␈␈x␈@⊗0␈␈␈x␈@j0R`HERαλHJrsO 3R`NJSRHN
3R@N
∪B@N
∪B@N
∪B8N sR0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB(N 3R N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N 320N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SR N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N 320N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N sB8MJ∪B@N
∪B@N
∪B@N
∪B@N
3BHMJsBXMK3BpML∪3_MI∪0x"< G⊂:[ ←(z@≤(0
= λ⎇h↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(,?:⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ λ⎇h↑←x←Qm∂(,?:⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
8⎇h↑P∂(.␈:⊂z@⊂`∩←␈x␈␈`∧&∨␈x␈⎇ 4 ≤Dy`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧t@␈␈␈yp∪Ndy`∪Ndy`∪Ndy`∪Ndy`∪Ndy`∪Ndy`∪Ndy`∀∞% h∪N$y`∪N$y`∪N$y`∪N$y`∀
e `∀
e h∪Me `∪ME `∀
% h∪M% `∀ e→`∀ e h∀ %→`∀ %→`∀Ke→h∀ e→`∀K%→h∀Je)`∀Je)h∀J%)`∃ e9h∃ %9`∃HeIh∃H%I`⊗G%Yh⊗Feih↔¬ey`_∧f→h→BfIh ≤∪T7'λεpNP
Ih ~ST4'(ε0NP Ih _ST0'(¬pNP Ip ⊗∪T+'(¬ O⊂
p ∪∪T%'H∧0O⊂λ)p∨'G→x~'eix∪h#j⊂ ⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pjdp␈(8Pa xA∞'(6→>P∂(␈ohv@z@~Y_C⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pjdp␈(␈ohv@z@~Y_C⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pedp␈(z@≠y_C⎇ λ0 ?x␈␈␈p∧@_0~⊂∧BP ∃$ `∃⊂
BN
H¬_∂g¬$)GSBP ∀Ci`∃⊂
⊃pN
H¬∞g¬$'G3BP ∪CY`∃⊂ QhN
H∧`∞g¬$%G∪RH ∩CI`∀P ⊃`N
(∧@∞'¬∀#G∪B@ ⊃c9`∀⊂λaXN
λ∧(
g¬∧"εsB@ ⊂c9`∀⊂λ!PN
λ∧λ
'¬∧ εSB@∨FSB@∨εSB@≡FSB@≡ε3R8≥εSB8≤FSB8≤εSB8≠FSB8≠εSB8~F3B8~ε3B8→F3B8→ε3B8_F3B8_ε3B8↔F3B8⊗F3B8⊗ε3B8∃F3B8∃ε3B8∀F3B0∀F3B0∀ε3B0∪F∪B0∪ε∪B0∩F∪B0⊃F3R(⊃ε3B(⊂F3B(⊂ε3B(∂F∪B(∂ε∪B(∞F∪B(∞ε∪B(
F∪B( F3B( ε3B( FSB( εsB(
G3B(
πSB( GsB( λ3B(λλsB(πI3B(π SB(εJ∪B(ε
3B(¬JsB(¬ ∪B(∧ SB(βL∪B(β 3B(αLsB(α
∪B(↓MSB(↓
sD/gλ¬xN⊂ `≥DI`≤@dI`≤↓$I`≠ADI`≠α∧I`~B$I`~αdI`→β$I`_CdI`_∧∧I`↔DDI`↔∧dI`⊗E$9`⊗¬DI`∃EdI`∀FDI`∀εdI`∪G$I`∪πDI`∩H∧I`∩H∧I`∩H$I`∩H$I`∩HD9`∩HDI`∩Hd9`∩HdI`∩HdI`∩I∧I`∩I∧I`∩I$I`∩I$I`∩IDI`∩IDI`∩IdI`∩IdI`∩J∧I`∩J∧I`∩J∧I`∩J$I`∩J$I`∩JDI`∩JDI`∩JdI`∩JdI`∩K∧I`∩K∧I`∩K∧YX∪ $I`∪ $Y`∪ DI`∪ DI`∪ dI`∪ dI`∪ dY`∪ ∧I`∪ ∧Y`∪ $I`∪L∧Y`∪L$I`∪L$Y`∪L$Y`∪LDY`∪LDY`∪LdY`∪LdY`∪M∧Y`∪M∧Y`∪M∧i`∪M$Y`∪M$Y`∪MDY`∪MDY`∪MdY`∪MdY`∪Mdi`∪N∧Y`∪N∧i`∪N$Y`∪N$i`∪N$i`∪NDi`∪NDi`∪NdiX∀∞di`∀∞dy`∀∂∧i`∀∂∧y`∀∂$i`∀∂$y`∀∂$y`∀∂Dy`∀∂Dy`∀∂dy`∀∂dy`∀∂e `∀⊂λα8N
λ∧∀'¬∧
∪B@ ⊂% `∀⊂λ∩@N
(∧∀g¬∀ J∪BH ⊂%→`∀Pλ∩HN
(∧⊂∀g¬∀!
3BH ⊂E)X∃⊂λ2HN
H∧_∃'¬$!JSBP ⊂e9`∃⊂λBPN
H∧ ∃g¬$"
sBP ⊃%9`∃⊂λR`N
H∧(⊗'¬$"K3BP ⊃EI`∃⊂λbhN
H∧0⊗g¬$# SBP ⊃eY`∃⊂λrpN
H∧8↔⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pλ∞1B␈(8Pa xA∞'(6→>P∂(␈ohv@z@#L0 ⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pλ∞1B␈(␈ohv@z@#L0 ⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pλ 1B␈(z@$l0 ⎇ λ0π␈x␈␈␈p∧@≡ox␈␈␈@~p≤λK↓I∂x␈␈n⊂_ !a)8∧⊂⊂⊂xKβHπX
%BD;¬rqH ≤βI0∂P
"λK (ε(∩ee$/JSBP ⊗%y`∃⊂
cλN
H¬0_'¬$+ sBP ∃%yh∀P
RpN
λ¬0⊗g¬∧*K3B@ ∃%I`∀⊂
B`N
λ¬_⊗'¬∧) ∪B@ ∀%I`∀⊂
∩XN
λ¬∃g¬∧'JsB@ ∪EI`∀⊂ R`N
λ∧`⊗'¬∧%K∪B@ ∩EI`∀⊂ ∩`N
λ∧@⊗'¬∧#K∪B@ ⊃EI`∀⊂λR`N
λ∧ ⊗'¬∧!K∪B@ ⊂EI`∀⊂λ∩`N
λ∧⊗'¬βx⊗'¬βp⊗'¬βh⊗g∧sh⊗g∧s`⊗g∧sX⊗g∧sX⊗'∧sP⊗'∧sH⊗'∧s@⊗'∧s8⊗'∧s0⊗'∧s(⊗'∧s ⊗'∧s_⊗'∧s⊂⊗'∧sλ⊗'∧s⊗'∧rx⊗'∧rp⊗g∧rh⊗g∧r`⊗g∧rX⊗g∧rP⊗g∧rH⊗g∧r@⊗g∧r8⊗g∧r0⊗g∧r(⊗g∧r ⊗g∧r_⊗g∧r⊂⊗g∧rλ⊗g∧r⊗g∧qx⊗g∧qp↔'∧qh↔'∧q`↔'∧qX_'∧qP_g∧qH→g∧q@~g∧q8≠g∧q0≤'∧q(≥'∧q ≡'∧q_≡g∧q⊂∨g∧qλ ⊂3B8λ⊂λ)`∪Ch∧ N ad#'∧ph ⊃sB8ε⊂ →`∪Bh∧XN a$&'∧pH ∪SB8∧⊂
`∪αλ¬⊂N @t)g∧`0 ∃3B0αP
y`∪↓λ¬@N @4-'∧`⊂ ↔∪B0P Y` !3DC'λλ0N⊂
0⊂→'λ¬⊂α SD(A&)` ∀s⊂N⊂ pH→'λ∧p¬LSD&Cε)` ∪↓c⊂N⊂ 1→'λ∧XλL3D%∧F)` ∩"C⊂N⊂ ↓0_gλ∧8 3D#ε&)` ⊃#3⊂N⊂λAh_gλ∧_∂ SD!λε)` ⊂$#λN⊂λα _gπr(→'πb8_gπb@_gπRH→'πBX_gπ2h_gπ"x_gπ∪→'πβ⊂_gεs _gεc0_gεS8_gεCH_gε3X_gε#`→'ε#h_gε∪x_gε∧ L3Bx ⊂F→`↔⊂λCλN (∧0_g¬D#L3BX ∩&→`∃⊂ 3λN
(∧h_g¬∧' 32@ ∀ε→`∀⊂
∪λN h¬⊂_g∧t)L3B8 ∃ε→`∪P
SλN h¬(_g∧t+ 3B8 ∃f→`∪P
sλN h¬@_g∧t,L3B8 ⊗&→`∪P #λN h¬X_g∧t. 3B0 ↔&→`∪⊂ cλN H¬x_g∧d/L3B0 _ε→`∪⊂ ∪λN Hε⊂_g∧d1 3B0 _f→`∪⊂ CλN Hε _g∧d2L3B0 →F→`∪⊂ c⊂N Hε8_g∧d4 3B0 ~&→`∪⊂
∪λN HεP_g∧d5L3B0 ~f)`∪⊂
CλN Hεh_g∧d6LSB0 ≠F)`∪⊂
sλN Hεx→'∧d8 SB0 ≤&)`∪⊂∞#λN Hπ⊂→'∧d9LSB0 ≥ε)`∪⊂∞C_N Hπ(→g∧d; sB0 ≥FI`∪⊂∞s(N Hπ8≠'∧d< ∪Bλ ∨%)`∞⊂⊂2 N¬HλH∂'α∧H¬s@X %"→`αP∪@X$PA(Oλα≤NV`2⎇ ≡Pq!BO(3N←Xz@≤(0
< G⊂:[ ←(z␈wt84= p:}}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(3N←Xz␈wt84= p:}}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(1∞←Xz@=
@:}}P∧_∧`␈␈␈␈xα λ␈␈␈␈p
(∧Xαea→0πeBY8
%D 0∪%e9`∃g¬9`∃g¬9`∃g¬9h∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'%→`∀g¬→`∀g¬→`∀g¬→`∀g¬ `∀'¬ `∀'¬ h∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪fe `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀⊂∞ ⊂N
λπλ↓g¬∧7A3B@ ≠ y`∀⊂
0@N
λεH¬'¬∧3C∪B@ →↓y`∀⊂ ⊃⊂N
λ¬` g¬∧)H∪B@ ⊃EY`∀
λ∧XN
D7gλ XN⊂∪9` &SDM'λ PN⊂∪)` &SDM'λ PN⊂∪)` &SDM'λ PN⊂∪→` &3DLgλ HMP∪)` &SDM'λ PN⊂∪)`∀ (∧(NεH¬8∀g↓y`↓Q≡⊂ 9≥-F(z@= ∞⊂C¬≡P|K→␈(8Pa xA∞'(6→>P∂(␈ohv@z@∨∩`g⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P|K→␈(␈ohv@z@∨∩`g⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PwK→␈(z@ 2`g⎇ λ0 ←x␈␈␈p∧0~←x␈␈␈@~⊂∧38 ∪eY`≠P rhN
h∧x⊗gεt'K3C@ ∪EY`≤⊂ RpN∞λ∧h↔'π∧&KSCH ∪¬i`≤P BpN∞(∧X↔gπ∀%KsCP ∩Ey`≥⊂ "xN∞H∧P↔gπ$$L∪CX ∩ε `≥P βN∞h∧@_'π4$ ∪C` ⊃F→`≡⊂λcλN∂λ∧0_gπD# 3Ch ⊃&→`≡PλC⊂N∂(∧ →'πT" SCp ⊂f)`∨⊂λ3⊂N∂H∧⊂→gπd! sCx ⊂&9`∨Pλ∪_N∂h∧λ→gπt
∪D ∂fI` ⊂πs N⊂λβx~'λ∧∨M∪A0JGS(N¬@∩P≡M3A0JGS(N¬@"H≡M3A0↓
G30N¬@"P≥MSA0↓
G30N¬@2H≥MSA0↓JG#(N¬@2P≤MSA0↓JG∪0N¬@BH≤MSA0α
Gβ0N¬@BP≤
SA0α
Fs8N¬@RH≠MsA0αJFc8N¬@RP≠
sA0β
&c8N¬@bH~N∪A0β
FC@N¬@bP~∞∪A0βJ&C@N¬@rH~∞∪A0βJF#HN¬@rP→∞3A0∧
&#HN¬AαH→∞3A0∧
F∪HN¬A∩H_∞SA0∧J&βPN¬A∩H_∞SA0∧JEsPN¬A"H↔NSA0¬
%cXN¬A"H↔∞sA0¬
ESXN¬A2H⊗NsA0¬J%SXN¬A2H⊗∂∪A0¬JE3`N¬ABH∃O∪A0ε
%3`N¬ABH∃∂3A0εJ%∪hN¬ARH∀O3A0εJ%∪hN¬ARH∀O3A0π
$spNE!bH∪OSA(π
$spN¬!bH∪OSA(πJ$a(J∪A(πJ$Q0J∪A(πJ$Q0J∪A(πJ$Q0J∪A(λ
$A0J∪A(λ
$A(↓
∪A(λ
$10↓
∪A(λJ∧10↓
∪A(λJ$!0↓
∪A(λJ$!(↓J∪A(λJ$!(↓J∪A(
$↓0↓J∪A(
$↓0↓J∪A(
$↓0↓J∪A(
$↓(α
∪A( J#a0α
∪A( J#a0α
∪A( J#a0α
∪A(
βa0α
∪A(
#Q(αJ∪A(
#A0αJ∪A(
#A0αJ∪A(
JβA0αJ∪A(
J#1(β
∪A(
J#1(β
∪A(
J#!0β
∪A(
β!0β
∪A(
#⊃0β
∪A(
#⊃(βJ∪A(
#⊃(βJ∪A( Jβ↓0βJ∪A( J"q0βJ∪A( J"q0βJ∪A(
αq(∧
∪A(
"a(∧
∪A(
"Q0∧
∪A(
"Q0∧
∪A( JαQ(∧J∪A( J"A(∧J∪A( J"10∧J∪A( J"10∧J∪A(
α10∧J∪A(
"!(¬
∪A(
"!(¬
∪A(
"⊃0¬
∪A(
Jα⊃0¬
∪A(
J"↓0¬
∪A(
J"↓(¬J∪A(∞
α↓(¬J∪A(∞
↓q0¬J∪A(∞
!a0¬J∪A(∞
!a(ε
∪A(∞J↓a(ε
∪A(∞J!A0ε
∪A(∞J!A0¬J3A(∞J!A0¬J3A(∂
↓A(ε
3A(∂
!1(ε
3A(∂
!!0ε
3A(∂J↓!0ε
3A(∂J↓!0ε
3A(∂J!⊃(εJ3A(∂J!⊃(εJ3A(⊂
↓↓0εJ3A(⊂
↓↓0εJ3A(⊂
q(π
3A(⊂
q(π
3A(⊂Jq(π
3A(⊂J Q0π
3A(⊂J Q0π
3A(⊂J Q(πJ3A(⊃
Q(πJ3A(⊃
10πJ3A(⊃
10πJ3A(⊃J10πJ3A(⊃J1(λ
3A(⊃J !(λ
3A(⊃J ⊃0λ
3A(∩
⊃0λ
3A0⊃J⊃(λJ3A0⊃OB∩HN¬D3pλJ3A0∩∂"∩HN¬DChλJ3A0∩∂α"HN¬DSX
3A0∩Nb"HN¬DSX
3A0∩Nb"HN¬DcH J3A0∪∞"2HN¬DcH J3A0∪∞"2HN¬Ds8
3A0∪MbBHN¬Ds8
3A0∪MbBHN¬Eβ0
3A0∀
"RHN¬Eβ(
J3A0∀MαRHN¬E∪
J3A0∀MαRHN¬E∪_
3A0∃ BbHN¬E#⊂
3A0∃ BbHN¬E#λ J3A0∃LαrHN¬E3
SA0∃LαbPN¬E3
SA0⊗ BrPN¬EBp JSA_↔KBrHNβFRh Hs@@≥K"qpNH∧λ⊗εβ∧@λ8 '↓Y`βg∀ xA∞'(6→>P∂(8Pa z@≥h>⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pw ∂←(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≥h>⎇?{x#Z≡Pw ∂←(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≤H>⎇ ≡P| ∂←(!@'?␈␈x␈@⊂m?␈␈x|@l@l@S⊂(LB∪ P$?␈␈x<@Hλ⊂εeA∀?∧∩`x ≡b98
P∂↓(Kεhπ( eD$8FRr@ ≠#Y@⊗⊂
1xN (ε8⊃'¬d1I3Bp _¬ `↔P RPN h¬`∃gε∧-JsCλ ⊗E9`_P "XN H¬H∃gε4,
sC_ ⊗¬9`~⊂ αPN
(¬8∀gεT+J3C0 ∃E→`≠⊂
bHN
h¬(∀gπ∧*
3C@ ∃¬→`≤P
2HN∞H¬⊂∀gπ$)
3CX ∀%→`≥P
∩HN∂λ¬∀gπT'J3Ch ∪e→`∨⊂ bHN∂h∧h∀gπt&J3D ⊂ B@N⊂λ∀%J∪D P 2@N⊂λ$%
∪D!⊂ "@N⊂λ4$J∪D"⊂ α@N⊂λD$
∪D"Pλr@N⊂λd#
∪D#⊂λb@N⊂λt"J∪D$⊂λB@N⊂ ∧"
∪D$Pλ2@N⊂ $!
∪D%⊂λ"@N⊂ 4 J∪D%Pλ∩@N⊂ D
∪D&Oe ` ∪'r8N⊂ cx∪'λ∧x∨ SD'ODi` ∀πR0N⊂
∪`∪'∧pλ∀O∧i`∪@%#X∪'∧p⊂∃∞Di`∪@e∪P∪'∧` ∃∞$i`∪↓%#@∪'∧`0∀N∧i`∪↓E#8∪'∧`8∃
Di`∪α¬∪0∪'∧`@∃
$i`∪α%∪(∪'∧`P∀M∧i`∪αE#_∪'∧`X∀Ldi`∪β¬∪⊂∪'∧``∃ $i`∪β%∪λ∪'∧`p∀L∧i`∪βE"x∪'∧`x∀KdY`∪∧¬∩p∩g∧a∃ $Y`∪∧%∩h∩g∧a⊂∀K∧Y`∪∧E"X∩g∧a_∀JdY`∪¬¬∩P∩g∧a ∃
$Y`∪¬%∩H∩g∧a0∀J∧Y`∪¬E"8∩g∧a8∀IdY`∪ε¬∩0∩g∧a@∃ $Y`∪ε%∩(∩g∧aH∃ ∧Y`∪εE"_∩g∧aX∀HdY`∪εe"⊂∩g∧a`∃λ$Y`∪π%∩λ∩g∧ah∃λ∧Y`∪πE!x∩g∧ax∀GdY`∪πe!p∩g∧b∃π$Y`∪λ%⊃h∩g∧bλ∃π∧Y`∪λE!X∩g∧b_∀FdY`∪λe!P∩g∧b ∃ε$Y`∪ %⊃H∩g∧b(∃ε∧Y`∪ E!8∩g∧b8∀EdY`∪ e!0∩'∧b@∃¬$I`∪
%⊃(∩'∧bH∃¬∧I`∪
E!_∩'∧bP∃∧dI`∪
e!⊂∩'∧b`∃∧$I`∪ ¬!λ∩'∧bh∃∧∧I`∪ E x∩&drp∃βdI`∪Ke p∩'∧s∃β$I`∪L¬0`∩'∧sλ∃β∧I`∪LE X∩'∧s⊂∃BDI`∪Le P∩'∧s_∃B$I`∪M¬0@∩'∧s(∃α∧I`∪M%08∩'∧s0∃ADI`∪Me 0∩'∧s8∃A$I`∪N¬0 ∩'∧sH∃↓∧I`∪N%0_∩'∧sP∃@DI`∪Ne ⊂∩'∧sX∃@$I`∪Oλ∧xN gD'g∧sh ∪SB8∨⊂ Y`∪OH∧hN gt&'∧t ⊂ 9`∪Pλ∧%g∧t P )`∪Pλ$$g∧t!⊂ →`∪Pλ4$'∧t!P `∪PλD#g∧t"Pλi`∪PλT#'∧t#⊂λY`∪Pλt"'∧t#PλI`∪P ∧!g∧t$⊂λ9`∪P ∀!&e∧%⊂λ→`∀⊂ $ g¬∧%Pλ `∀⊂ CxN
λ∧`∨g¬∀&∂SBH ∪πi`∀P ShN
(∧p≡'¬∀'∂∪BH ∪g9`∀P
βPN
(¬≥'¬∀(N3BH ∀'→`∀P
#@N
(¬_≠g¬∀)MsBH ∃εiX∃⊂
S(N
H¬(~g¬$+
∪BP ∃FI`∃⊂
s_N
H¬@→g¬$, sBP ⊗&)`∃⊂ #λN
H¬P_g¬4- ∪BX ⊗F `∃P 2hN
h¬`∃&eD. sBP ↔d9`∩⊂ RNπHε`∞gβ∀9ε3A_ ≡αi`εP∂q⊂Nαλλ(πg$EC ⊃`@N↓3P⊂"< G⊂:[ ←(z@≤(0
= ⊃`c¬}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(G_a8z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊃`c¬}←x←Qm∂(G_a8z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ⊃⊂c¬}P∂(IXa8z@⊂`∪␈␈x␈␈`ε @␈␈x␈}@6!!Iλ⊃%eY8≠fπyH ⊃S∀&&(¬⊂LP P ↔3$0f(ε0M⊂
9P ≠s49&Hπ0M⊂∂→P ∨34@&Hλ MP⊂iP "S4F&fa0 ⊂s#_⊂OS3∀Ns2p↔NS2h~∞∪"`≤Ms2X∨
32P ⊂FYX∃⊂λS MJ(∧H→fe∧& s2@ ∪f)X∪P
3λMIh¬(_fdt+L320 ⊗f X∪⊂ SMIH¬x_'∧T1 s2( →¬yX∩P bpMI(ε@↔&dT5 SB ≠¬iX∩⊂
bpMIλπ⊗g∧D8K32 ≤eYX∩⊂∞RhNλhπ8⊗&dD;K32 ≡%Y`⊃P∂2`MIλπ`⊗&dD>K3B_ ∨eIX∩⊂⊂α`Nλhλ⊂∃fdDA ∪B_ !¬9X∩⊂⊂RXNλhλ0⊗&dDCJsB_ "¬IX∩⊂⊃∩XNλhλX∃&dDEJsB #¬)`⊃P⊃RXMIλλp∃'∧DG
sB_ $¬)X∩⊂∩αPN λ λ∃'∧4I
S2 $E)`∩⊂∩2PN λ _∃&dDJJ3B %%)`∩⊂∩bHMI( 0∀g∧DKJSB &¬→`∩⊂∪αHMI( @∀g∧TLJ3B( &%→`∩P∪∩HN λ X∀&dTMJ∪B( &e→`∩P∪2HN ( `∀'∧TN
∪B( '¬ `∩P∪B@N ( `∀&ddNIsB0 '% `∪⊂∪R@N H h∀'∧dNJ∪B0 'Dy`∪⊂∪b8N H p∪g∧dO sB0 'Dy`∪P∪R8N h h∪g∧tO SB8 'Di`∪P∪b0N h p∪'∧tO SB@ '$i`∀⊂∪R0N
λ h∪'¬∧NISR8 '$i`∀⊂∪B(N
λ `∩g¬∧N 3B@ '∧Y`∀P∪2(N
( X∩g%∧MI3B@ &dI`∀P∪" N
( H∩g¬∀LI3BH &$Yh∀P∪α N
( @∩'¬∀L ∪BP %dIh∀P∩b(N
( 0∩'¬$JI∪RH %$I`∃⊂∩2 N
H _∩'%∀II∪BP $D9`∃⊂∩∩ NJH ∩'¬$HλsBX #DIh∃⊂⊃b N
hλh⊃g%$F ∪BX "d9h∃⊂⊃2_N
hλH∩'¬DDλsRX !dI`⊗⊂⊂b_NJhλ(∩'%4BλsB` DIh∃P⊂"_N λλ∩'%D?HsB` ∨DIh⊗⊂∂B NKλπX⊃g¬T<I∪Rh ≥dIh⊗⊂∞r_N (π(∩'%T9I∪Rh ≤$I`↔⊂∞α NKHεp∩'%d6 ∪Rp ~DYh↔⊂
α(NKHε0∩g¬t2 3S _$Yh_⊂ r0NLλ¬h∪'&∧-ISSλ ∃dyh_P
R8NLH¬⊂∪g&$'J∪S_ ∪¬ h~⊂ αHNM(∧ ∃'FT
sS0≡ ∪S8≤ 3SH→K3SX⊗Ksc`∪L3T πFIp ⊃α∪HNP⊃Ip "3TC'Hλ_NP⊂ p ∨∪d<gHπ(O⊂∞→p ≠3d4gHε(O⊂ →x ↔∪t+'H¬⊂OP J ⊃∀βhP
4∩XRπλOλα≤NV`2⎇ ≡Pq!BO(7O(Xz@≤(0
< G⊂:[ ←(z␈wt84=
p="}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(7O(Xz␈wt84=
p="}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(5∂(Xz@= ∞@="}P∧_¬␈␈␈␈xα@ _␈␈␈␈`
λαH≥gλ¬ NP Y` ~SD7'λπλN⊂∞I` ≥SD<'λπPNP∂9` ∨∪D?'λπxN⊂⊂ ` SDAgλλ N⊂⊂Y` !SDCgλλ@N 40g∧Q ∃3B( P I`∩HH∧ N $t '∧RX≡g∧Rp≥'∧S⊂≠g∧S(~g∧S8→g∧SH→'∧SX_g∧Sh↔g∧Sp↔g∧T 3B( ⊂%Y`∩Pλ"`N (∧_⊗'∧T"
sB( ⊃%9`∩PλbPN (∧0∃'∧T#JSB( ∩¬→`∩P αHN (∧H∀g∧T$J3B( ∩E `∩P "@N (∧X∀'∧T%J∪B( ∩e `∩P B8N (∧`∪g∧T&
∪B( ∪¬ `∩P R8N (∧h∪g∧T&IsB( ∪$y`∩P R8N (∧h∪g∧T&IsB( ∪$y`∩P R8N (∧h∪g∧T&IsB( ∪$y`∩P R8N (∧h∪g∧T&ISB( ∪$i`∩P R0MIH∧h∪'∧d& sB0 ∪∧i`∪⊂ B0N H∧`∪'∧d& SB0 ∪∧Y`∪⊂ 20N H∧X∪'∧d%I3B0 ∩dY`∪⊂ "0N H∧P∩g∧d% 3B0 ∩$Y`∪⊂ ∩(N H∧H∩g∧d$ 3B0 ∩∧Y`∪⊂λr(N H∧8∩g∧d# 3B0 ⊃$Y`∪⊂λR(N H∧ ∩g∧d!ISB0 ⊂Di`∪⊂λ∩0N H∧∪g∧cx∪g∧ch∀'∧cX∃'∧cH∃g∧c8⊗'∧c ↔'∧bx→'∧b@≤g∧ap ⊂SB0πP
`∪↓λ¬PN @D,g∧` ⊗∪B0α⊂
y`∪↓λ¬0N @D*g∧` ∀sB0α⊂
)`∪↓λ¬λN @D'g∧` ∪SB0α⊂ I`∪↓λ∧XN @D$g∧` ⊃sB0α⊂λY`∪↓λ∧⊂N @CxN @C`N @C8N @B`N @AHN @@(N SB0N S28N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8MJ∪B@N
∪B@N
∪B@N
∪B@N
∪B@N
∪B@N
∪B@N
∪B@N
∪B@N
∪B@NλSA`N¬sAλNαs@0"< G⊂:[ ←(z@≤(0
= ⊃`c¬}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(G_a8z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊃`c¬}←x←Qm∂(G_a8z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ⊃⊂c¬}P∂(IXa8z@⊂`∀?␈x␈␈`¬`D␈␈x␈r`6`!b)_∩%F @≤fλ∧λL⊂ H ∪S∀*&(¬PM⊂ yP _s∀4&Hε`M⊂∞ P ≥∪4;fHπXM⊂∂yP S3@π∂s#
∞s3λ⊃∞∪#∀
s2p↔
32`~ s"`≤ s2X≡ S2P ⊂ε→X∃⊂λ3M
H∧0_fe$$L∪2H ∪ε X∀P rxMJ(¬λ↔fe∧* s2@ ∃eiX∀⊂ ∩pMJλ¬X↔&e∧.KS2@ ↔eiX∀⊂ ∩pMJλε_↔'∧t2K328 →eYX∪P
∩hMJλεP⊗fe∧5KS2@ ≠%Y`∪P
rhMJλπ⊗fe∧8KSB8 ≤eYX∪P∞RhMJλπ0⊗g∧t;K32@ ≡¬YX∀⊂∂"`N hπX⊗fe∧> 32@ ∨%Y`∀⊂∂bhMJλπx⊗g¬∧@ 32@ %Y`∀⊂⊂"hMJλλ_⊗g¬∧B 32@ !%Y`∀⊂⊂bhMJλλ8⊗g¬∧D ∪2H "¬Y`∀⊂⊃"`MJ(λP⊗g¬∀E 3B@ #¬IX∀P⊃BhN
(λ`⊗fe∀G ∪BH #EY`∀P⊃bhMJ( ⊗'¬∀H 3BH $¬YX∃⊂∩∩`N
( ⊂⊗'¬∀I 3BH $EYX∃⊂∩2`N
( ⊗'¬∀J ∪BH %¬YX∃⊂∩R`N
H (⊗'¬∀K ∪BH %EIX∃⊂∩b`N
H 0⊗'¬$KJsBP %eI`∃⊂∩r`MJh 8⊗'¬$L ∪BP &¬I`∃⊂∪α`N
H @⊗'¬$LJsBP &%9`∃⊂∪∩XN
H H∃fe4LJsBX &%9`∃P∪∩XN
h H∃g¬4LJsBX &%9`∃P∪∩XN
h H∃g¬4LJsBX &%9`∃P∪∩PN
h H∃'¬4LJSBX &%)`⊗⊂∪αPN λ @∃'¬DL
SB` %e9`⊗⊂∩rPN λ 8∃'¬DKJSRX %e)`⊗⊂∩bPN λ 0∀g¬DK
3B` %%)`⊗⊂∩RPN λ (∀g%DJ
3B` %¬→`⊗⊂∩BHN λ _∀g¬TI
3R` $E→`⊗⊂∩"HN λ λ∀g¬TH
3Bh $¬→h⊗⊂∩α@N (λp∀g¬TG
3R` #E `⊗P⊃BHN (λ`∀'%DF
∪Bh "E→`⊗P⊃"@NKλλP∀'¬TD
∪R` "¬ `⊗P⊂b@N (λ0∀'%TBIsBh !¬ h⊗⊂⊂B8N (λ⊂∀'%DA sBh ¬ h⊗P∂r8N (πp∀'%T>IsBh ∨∧yh⊗P∂28NKλπP∪g¬T< sRh ≥dy`⊗P∞b8NK(π(∪'%T9IsBh ≤Dyh⊗P∞α8NK(εx∪'%T6IsBp ~dyh⊗P
"8NK(εH∪'%T3ISRh →$y`↔⊂ 28NKHελ∪g%d/IsRp ↔$yh↔⊂ 28NKH¬H∪g%d+IsRx ∃∧yh↔P
∩@NKh∧x∀'&∧&
∪S ∩%→p_⊂λb@NLλ∧_∀g&∪x∃'&#X∃g&38∃gFC⊂⊗'&Rp⊗gFb@↔''∩_gG1@→g(∧ α∂∪d@'(πpO⊂∂)p ≥Sd9'HεpO⊂
)p →Sd1'h¬hNP →X ∃s$-fH¬xM⊂ IP ~∪$6fHπ⊂M⊂∞iX∪CH∧( ∩@→X⊃F(∧⊂ ⊃ )`⊂λλ∧λ ⊂ 9X∂ H∧λ≡↓∪AX∃Pλ#8αfc# ⊂F 8N¬fT!K↓→X ∞H∧ ∩C∪1(∨⊂λqhπ'α4!⊂ A
&b$#⊂
Y`λ⊂ ∀5fat&P
→XπP
∧3'↓T*⊂ IXε⊂
t1'↓$-P yX∧P t.gt1⊂ 9Xβ⊂ d,f`T5⊂
i`↓P
T*f`∀9⊂
$@π( ∪sT''H∧XNP )p ⊃sd"gH∧⊂NPλ p∨'G9p≤gFip→gEyp⊗'E x⊃gcZ (!T xA∞'(6→>P∂(8Pa z@→}X∃= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pgze/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@→}X∃=?{x#Z≡Pgze/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@_↑X∃= ≡Plze/(!@)?␈␈x␈@⊂↑␈␈␈x}m2B⊃ahJIrcKN∪βpL⊂λI@ ∩3∀'%h¬ K⊂ I0 _rt4g(εPN⊂
9h ~sD6'λεhNP
Y` ≠SD7g(εxN⊂∞ ` ≤3D8gλπ⊂N⊂∞9h ≤sD9gλπ N⊂∞Y` ≥3D;'λπ8N⊂∞y` ∩rHN⊂λ@h∪gλ∧ I3Cλ⊃I3BP∃I∪B(_HsB(→λsB(→HSB(~λ3B(~H3B(≠λ∪B(≠λ∪B(≠GsB(≠GsB(≠GsB(≠GsB(≠GsB(≠GsB(≠GsB(≠GsB(≠GsB(≠λ∪B(≠λ∪B(≠λ∪B(≠λ∪B(~H∪B(~H∪B(~H∪B(~λ3B(~λ3B(→HSB(→H3B(→λSB(_HsB(_λsB(↔I∪B(↔ 3B(⊗I3B(⊗ SB(∃IsB(∃ sB(∀J∪B(∪J3B(∪
SB(∩
sB(⊃ 3B(∂KsB(βPλi` ≤SD8gλπN⊂∞ ` ≠sD7'λεhN⊂
I` ~sD5'λεHN⊂ y` →SD2'λε⊂N⊂ ` ↔SD-gλ¬@N⊂
I` ∪∪CHN∞SCXN∂∪C`N∂3CpN∂sD 'λ∧λN⊂λ→X ⊂sD"'λ∧(N⊂λi` ⊃SB0H∪B0↓λ∪B0↓λ3B0↓H3B0αλ3B0αλ3B0αH3B0βλ3B0βH3B0βHSB0∧λSB0∧H3B0∧HSB0¬λSB0¬HSB0ελSB0ελsB0εHSB0πλSB0πλsB0πHsB0λλsB0λ ∪B0λI∪B0 λsB0 HsB0 I∪B0
∪B0
I∪B0
I3B0 ∪B0 I∪B0 ∪B0 3B0 I3B0
3B0
SB0
I3B0∞ 3B0∞ SB0∞IS28∂ SB8∂ISB8∂IsB8⊂ SB8⊂ISB8⊂IsB8⊃ sB8⊃IsB8∩ sB8∩
∪B8∩IsB8∪ sB8∪
∪B8∪J∪B8∀
∪B8∀
3B8∀J3B8∃
3B8∃J∪B8∃J3B8⊗
3B8⊗J3B8⊗JSB8↔
SB8↔JSB8_
SB8_
SB8_JSB8→
SB8→
sB8→Js2@~
sB@~ ∪B@~K∪B@≠ ∪B@≠JsB@≠K∪B@≤ ∪B@≤K∪B@≤K3B@≥ 3B@≥K3B@≡ 3B@≡ SB@≡KsB@∨ sB@∨ ∪B@∨L3B8 ⊂&)`∪Pλ∪ N h∧⊂↔g∧t!J∪B8 ⊃∧)`∪PλA`N h∧(
g∧$%CsA` ∀!→X P ⊂N∧S@`N↓S@λ"< G⊂:[ ←(z@≤(0
= 8+C≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(1jp`z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ 8+C≡←x←Qm∂(1jp`z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ h+C≡P∂(4*p`z@⊂`∀␈␈x␈␈`¬,←␈x␈⎇ 7⊗"Y(⊃eeY@~f'9H ⊂3∀#f(∧hM⊂
→P ∃3$,fh¬`M⊂ P →∪43fhεHM BαxMJC"XMId"HMI%α8MI¬R0MHf∩(MHFR MH'∩_NλπB_MGh∧⊃&ct!λS1x ⊃$→`∂⊂λrλMGH∧H⊂gβT&λ∪1h ∪D `∞P rMG(¬λ⊂'βD)H∪A` ∃∧ X∞⊂
axNπλ¬8∂gβ4,Gs1` ⊗#y`∞⊂ !hNπλ¬X
gβ4.εSAX ↔# `
P a0Nεh¬p
fcD/DsA` _α→`∞⊂ ↓Nπλελπ'βD0C3A` _A9`∞⊂ PNπλε⊂∧gβD1AsA` _`i`∞P 0 NGλε_↓gβT1SAhNπSApNGSAxNλ∪RNλ3B⊂NHsB N SR0N
∪RHN
sRXN 3RpNKsCλNLSS_N
3S0NMSS8NN∪CHNNSSPNNsSXNO∪S`NO3ShNOSSpNOscpNOsSxNPλ p∨g(∧NPλ h ⊂3d '(∧λO⊂λ h ⊂3T gH∧NPλ→p ⊂∪T 'Gyh ⊂∪cxNOscpNOscpO∂3ShO∂∪S`O∞sSXO∞SSPO∞3c@O
sS0O
3c O sc⊂O ∪bxO Sb`O
sbPO
∪R@O SR0O ∪R OλSR⊂NH3RλNH∪QxNGsQpNπSQhNG3AhNG∪A`$?␈␈xI(εh∞f`$7π∪0 ≠#IXαP
Q`MAHεh∞&a∧6Fs0H ≠#9X¬P
AXMCλε`
fad5Fs0x ~c9XλP
!XMDHεP
fbD4Fs1( ~#9X P
↓XMF(ε8
fc$3Fs1` →#9X∂⊂ AXMGhε
g∧∧1FsR _#Ih⊂⊂ ↓XNGhε
g#t/π∪B ↔#9h⊂⊂ 1`NHλ¬P∞'$∧,π∪R ∃CYh⊂⊂
QhNHλ¬_∞g$∧(GSRλ ∪cYh⊂P QpNH(∧X∂'$$$πSR⊂ ⊃Cyh⊃⊂λAxOλH∧λ∂g$3p⊂'$CP⊂g$S8⊂gDS_⊃'$c⊃'Db`⊃g%α8∩'E"∪'%QH∀'F⊂p∃g(ε@O⊂ Yp _3d/'H¬PO⊂
ip ∀st''H∧HOPλIx∨(εz_(¬
⊂∞j D xA∞'(6→>P∂(8Pa z@≠gPE⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Po≡Q?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≠gPE⎇?{x#Z≡Po≡Q?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@~GPE⎇ ≡Pt≡Q?(!@*?␈␈x␈@βk␈␈␈x}i↔↓( X¬&a$Bπ∪1 →fIX ∂H¬(MP∃9X +∪4V&h
hMP∃YX +S4W&h
pMP∃yX +s4X&h MP⊗→X ,34Xfh ⊂MP⊗)X ,s4Yfh MP⊗IX -∪4Zfh (MP⊗iX -S4[&h 8MP⊗yX .∪1H≠P
X ⊂λ∀3&aT#J`C0MB(∧`∃E$IXβ⊂
αX⊃ES0_ ∃¬2x∧R⊗¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∀g¬→h∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'$y`∪g∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧ih∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩'∧I`∩'∧I`∩'∧I`∩'∧Ih⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧)`⊃'∧)`⊃'∧)h⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂fd)`⊃'∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃fdI`∩'∧I`∩'∧Y`∩g∧Y`∩g∧Y`∩g∧YX∪'∧i`∪'∧i`∪'∧i`∪g∧y`∪fe `∀'¬ `∀'¬ `∀'¬ `∪fd9`∞gαy` '↓I`β&`$ xA∞'(6→>P∂(8Pa z@≡∧8↔⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Px⊃e␈(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≡∧8↔⎇?{x#Z≡Px⊃e␈(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≤d8↔⎇ ≡P⎇⊃e␈(!@⊂␈␈␈x␈@α@s?␈␈x⎇@h@⊃P_IX 1∪4b&h MP_IX 1∪4b&h MP_IX 1∪4b&h MP_IX 1∪4b&h MP_IX 1∪4b&h MP_IX 1∪4b&h MP_IX 1∪4b&h MP_IX∧P∞Qp↓ I∂apNπSApMGsAxNπsAxNπsAxNπsAxMH∪BNλ∪BNλ∪BNλ∪BMH3BλNλ3BλNλ3BλNλ32⊂Nλ3BλNλ3BλNλ3BλNλ32⊂NλSB⊂NλSB⊂NλSB⊂MHsB_NλsB_NλsB_NλsB_MI∪B N ∪B N ∪B N ∪2(N 3B(N 3B(N 3B(MISB0N SB0N SB0N SB0MIsB8N sB8N sB8N s2@N
∪B@N
∪B@N
∪B@MJ3BHN
3BHN
3BHN
32PN
SBPN
SBPN
SBPMJsBXN
sBXN
sBXN
s2`N ∪B`N ∪B`N ∪B`MK3BhN 3BhN 3BhN 32pN SBpN SBpN SBpMKsBxN sBxN sBxN s3N ∪CN ∪CN ∪CML3CλN 3CλN 3CλN 33⊂N SC⊂N SC⊂N S3_N sC_N sC_N s3 N
3C(N
3C(N
330N
SC0N
SC0N
S38N
sC8N
∪BpMJSB NπSAHN∧s0pNα3@_"< G⊂:[ ←(z@≤(0
= ⊂P|\}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(B←↔_z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊂P|\}←x←Qm∂(B←↔_z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ⊂|\}P∂(E∨↔_z@⊂`∃?␈x␈␈` 9←␈x␈⎇ 5 ∩`90∧eAdJA2q_ #a90 P⊃⊃λKπhλ %dDAε∩rH C `∀P⊂!@N
(λ⊂ '¬∀Aε∪BH C `∀P⊂!@N
(λ⊂ '¬∀Aε∪BH C `∀P⊂!@N
(λ⊂ '%∧Aε∪B@ By`∀⊂⊂10N
λλ_ '¬∧AESB@ bi`∀⊂⊂10N hλ '∧tB¬SB8 !αi`∪P⊂A0N hλ '∧tB¬SB8 !αi`∪P⊂A0N hλ '∧tB¬SB8 !αi`∪P⊂A0N hλ '∧tB¬SB8 !αi`∪P⊂A0N hλ '∧tB¬SB8 !αi`∪P⊂A0NIHλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ '∧dB¬SB0 !αi`∪⊂⊂A0N Hλ_ g∧dAEsB0 by`∪⊂⊂18N Hλ_ g∧dAε∪B8 "y`∪P⊂⊃8N hλ '∧t@ε∪B8 β `∀⊂∂a@N
λπp '¬∧>F3B@ ∨#→h∀⊂∂1HN
λπX g¬∧=εSBH ≡β)`∀P∂↓PN
Hπ0
'%∀:FsBP ≥β9`∃⊂∞1XN
hπλ∞'¬D7G∪RX ≠CY`⊗⊂
AhN (εP∂'%T4πSBp →Cy`↔P AxNKhελ⊂'ε∀/λ3C⊂ ⊗d)h→P α⊂N
λ¬(∩'&T(I3C8 ∪$ih≤⊂ ∩8N∞h∧ ∀g'Sp∃gλ∧≤ 3T!Lε h ∩∧S N⊂
!_≥g( pNP∪Ih &SDLg( 8NP∩Ih $STH'(λpNP⊃9h "3dBg(λ_NP⊂ p ∨3T='Hπ0O⊂∞)h ≠sd5ghε0O⊂ →p ↔3t+gh¬λP⊂ * ⊂T∪@QJta "< G⊂:[ ←(z@≤(0
= ∂#K}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(<λrxz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ∂#K}←x←Qm∂(<λrxz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ∞0#K}P∂(>Hrxz@⊂`∃←␈x␈␈`α 95`⊃)8βeAY0 ec∧LA2ap %↓)0∩⊂⊃`xKJ(λ@
eF∧BERc0 !"i8≥P⊂Q(M∂(λ(
'g4B¬∪cH !α9p≠P⊂A_NMHλ_ g&dA∧sc B)h→P⊂!⊂NLhλλλg&$@∧SS⊂ ∨b→h_P∂qλNLλπpλgε∀>D3S ∨α→h_⊂∂1λN λπXλg%t=∧3C ≡"→h↔P∂↓λN hπ@λg%t;∧3Bx ≥B→`_⊂∞AλNKhπ λg¬t9D3Rx ≤B→`↔P∞⊃λNKHπλλg¬t7D3Rp ≠b→`↔P
aNKHεhλg¬d6D3Rp ~b→`↔⊂
1λNKHεHλg¬d4D3Rh ~α→`↔⊂ qλN Hε0λg%T3∧3Bp →α→h⊗P AλN Hε⊂λg%T1∧3Bh _"→h⊗P ↓λN (¬x '%T/∧3Bh ↔")`⊗P QλNK(¬`λg¬T-D3Rh ⊗B→`⊗P ⊃λNKλ¬Hλg¬T+D3R` ∃b→`⊗⊂
aλNKλ¬(λg¬D*∧3Bh ∀b→h⊗⊂
!⊂N λ¬⊂λg%D(∧SB` ∀α→h⊗⊂ a⊂N λ∧pλg%4&DSB` ∪α→`⊗⊂ 1⊂NKλ∧Pλg¬D$DSRX ∩"→`⊗⊂λq⊂NJh∧8λg¬D"DSB` ⊃")h∃PλQλN λ∧_ '%4!D3B` ⊂")h∃Pλ⊃λN
h∧ '¬Cxλg%3p '¬Chλg%3` '¬3`λg%3P '¬3Pλg¬C@ '%3@ '¬38 '%30 '¬3( '%3 '¬3_ '¬3_ '%3λ '¬3λ '%2x '¬2x '¬2p '%2h '¬2` g%2X '¬2P g%"P '¬2@ g¬2@ '%20 g¬20 '%"( g¬2 '¬2_ g%2⊂ '¬2λ g%2 g¬1x g¬1x g%1h g¬1h g%1X g¬1X g¬1P g%1H g¬1@ g%18 g¬10 g¬10 g%1 g¬1 g%1⊂
'¬1⊂ g¬A
'%1 g¬0x
'¬@p g%0h
'¬@` g%0X
'¬0X g¬@H
'%0H g¬@8
'%08
'¬@(
'¬@(
'%0
'¬@_
'¬@⊂
'%0⊂
'¬0λ
'% λ
'πi`∨''I`≡''9`≥'π)h≤'π `≠g&i`~gεYh→gε9h→'ε→`_g%y`↔g¬ih⊗g¬I`⊗'%)`∃'% `∀'¬ h∪'∧i`∩g$I`⊃g∧9h⊂g∧→`⊂'#y`∂'#Y`∞gβIh
gβ)`
'# ` 'αt xA∞'(6→>P∂(8Pa z@(¬h}= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pλ ↔?O(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@(¬h}=?{x#Z≡Pλ ↔?O(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@&eh}= ≡Pλ%↔?O(!@+␈␈␈x␈@βλ∨␈␈␈x␈@rβ@S@_NA∪@0NAs@@ @%P⊂NB(⊂λ∀@s@X @$P(NBh⊂λ⊃A3@h @#p8NCH⊂λ
B∪A @#HNDλ⊂λ
BsA⊂ @"⊂`NDh⊂λεCSA( @! pN¬H⊂λβD∪Q8 @ 1λNε(∂x g#∀}E∪AX >"Yh∞⊂≡Q8NπH∂λ '#dwF3B :c)`⊃⊂≤q`NHh∞ ∞g∧DpGSR( 7$ `∪P≠∩λNJλ
0⊃'¬∀iHsBX 3dYh⊗⊂→B0N ( X∩g%dd SC 1DY`→⊂_B(NLH _∩gε$a 3Sλ 0DY`_P_" N ( λ∩g&∀` 3Cλ 0∧Ih_⊂_α N λ x∩'ε∧←I∪S /DI`_⊂↔R NKh h∩'¬t↑I∪Bx /$9h↔⊂↔B N h X⊃g¬t]HsRp .DI`↔⊂↔"_NK( P⊃g¬d\HsBp .∧9h⊗P↔α_N ( @⊃g¬T[HsRh -D9`⊗P
@λ _$)`⊗P
@λ _$)h⊗⊂
0_ ↔d9`⊗P
_ ↔d)`⊗P
⊂( ↔D)h⊗⊂
⊂( ↔$9`⊗⊂
⊂0 ↔∧)`⊗⊂
8 ↔∧)h⊗⊂ p8 ⊗d9`⊗⊂ `H ⊗D)`⊗⊂ `H ⊗D)h∃P PX ⊗∧9`⊗⊂ @X ⊗∧)`⊗⊂ @` ∃d)h∃P 0h ∃D9`∃P 0p ∃$)h∃⊂ x ∃$)`∃P ⊃ ∃∧)`∃P ↓λ ∀d)h∃⊂ ↓⊂ ∀D)`∃⊂ ↓⊂ ∀D)`∃Pλa_ ∀$)h∃⊂λa ∀∧)`∃⊂λQ( ∀∧)`∃⊂λQ0 ∪D)h∃⊂λA0 ∪D)`∃⊂λ1@ ∪$)`∃⊂λ1@ ∪∧)h∀Pλ!P ∩d)`∃⊂λ⊃P ∩d)`∃⊂λ↓` ∩$)h∀Pλ↓` ∩$)`∀Ocd$λSBP∨πH∧8⊃'%∪p∂⊂λr⊂N
'R ⊃D)`∃∂∧∧"HSRH≥HH∧ ⊃'¬∪X⊃⊂λB⊂N
'" ⊂D)h∀N$D!λSBH≤I(∧λ⊃'¬∪@∪⊂λα⊂NJπα8∨HSBH≠
πr⊂N
&bH≡HSBH~JGR⊂NJεRX≡λSBH→Kπ2⊂N
&2`≥HSR@→K'"⊂N
ε"p≤HSBH_Kgα⊂NJεβ≤λSB@_ &b⊂N
%c⊂≠λSR@↔ fB_N
¬S ~λSB@⊗M&2⊂NJ¬C(→λsB@∃Mf∩⊂N
¬1`FF∩⊂NIe!hFer_N
¬⊃h↓εEr⊂N
¬↓h↓Feb⊂NIe↓h↓FeR_N dqhαFeB⊂N
∧ahαFeB⊂NIdQhβεe2_N dQhβFe"_N
∧AhβFe"⊂NId1h∧Feα_N d1h∧Feα_N d!h¬π∧r⊂N
∧⊃h¬Fdb_NId↓p¬G∧R_N d↓hεπ∧R⊂N cqpεG∧2_NIcahππ∧2_N cQpπG∧"⊂N cQpπG∧∩_NIc1pλπ$α_N c1pλG∧α⊂N c!p π#b_NIC!p Gβb_N c⊃p G#R⊂N c↓p
π#B_NIC↓p
G#2_N Bqp π#2⊂N bap πC∩_N bQx G#∩_NIBQp πBr N b1x G"r_N b1p
πBb_NIB!x
πBR N B!x
GBB_N b↓x∞πBB_NIB↓x∞πB2 N Aqx∂πB"_N aax∂πB"_NIAR∂GBα N AQx⊂πBα_N AB⊂πar_N a1x⊃πAb NIA"⊃πaR_N A"⊃GAR_N A∩∩πa2 NIAα∩πa2 N @r∪πa"_N @r∪πa∩ NI@Rλ∪λ↓α N @R∀πaα_N @Bλ∀λb N @B∃π`b NI@"λ∃λB N @"λ∃λB N @∩λ⊗λ2 NPλr`⊂DY` ⊃ERλI∪D# Dλ∩'(∧(↔⊂λY` ⊃ε∧!gλ∧ _⊂λ9` ⊂f∀!g(∧⊂→⊂λ→` ⊂F$ gλ∧λ~⊂λ h ⊂εCxN∂fSxN∂fcpNOFcpN∂&shN∂'β`N∂π∪`NNg#PN∞g#PN∞G3PNN'C@N∞πS@N∞πS@N
gs8NMGs0N
H∧~gεT M3S ⊂&I`→Pλ3_N h∧_→gε4" 3Sλ ⊃&→`_PλSλN λ∧8_'%t#KsBx ⊃ey`↔⊂ ∩pN H∧H⊗g%D%K∪B` ∩eI`⊗⊂ 2`NJH∧h∃'¬$&JSBH ∪e→`∀P r@NJλ∧x∀*β4(Iu h"< G⊂:[ ←(z@≤(0
= ⊂P|\}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(B←↔_z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊂P|\}←x←Qm∂(B←↔_z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ⊂|\}P∂(E∨↔_z@⊂`⊗∨␈x␈␈`∧@=?␈x␈}@5@⊃@Y0¬P∪ ⊂KDλ βeBdGBra` "" 0⊃P⊂!0KJλπh
%Ed;Grc ≤d)8≥⊂∞∩⊂MNhπλ⊃'G∀8λSSH ≠d→h≤⊂
bλNMhεp⊂g&t6λ3S0 ≠∧ h≠⊂
"NMHεH∂g&T4λ∪S( →D h~P QxN
Hε_∂g&T1πsS( _#yh~P qxNM(¬h∂g&T.πSC( ⊗cih~P ⊃xNM(¬8∂g&T*GsC0 ∃βih≠⊂
!pNM(¬λ∂g&T'GsC0 ∪Cih≠⊂ ApNMH∧P∂'&d$πsC0 ∩βih≠⊂λapNMH∧ ∂'&d!πSC8 ⊂βyh≠⊂λ↓pNMGapNMGApN
g!pNMg⊃pNMfqpNMFapN
fApNMf!pNMf⊃pNMeqpN∞¬QpNMeApNMe1hNMe⊃pN∞∧qpNN∧QpNN∧AhNMd1hN∞∧⊃pNNβqpNNβQpNNβAhN∞#!hNNβ⊃pNNαqpN∞"ahNN"AhNN"!hNN"↓pN∞AapNN!ahNN!AhNN!!hN∞A↓pNN@qhNN@QhNN AhN∞@!hNP h ∃ST*'λ¬_NP
)h ∀∪T''λ∧hNP 9h ∩ST$'λ∧8NPλYh ⊂sT!'λ∧λNOsShN∂3S`NO∪S`N∂3ShNO3ShN∂3ShNO3ShN∂SSpNOSSpN∂SSpNOSCxNOsD &h∧⊂MPλIX ⊃3D#&h∧@MP )X ∪∪D&fh∧xMP
→X ∀S4*'λ¬(MP
yX ⊗34-fh¬hN⊂ iX∞H∧λMG 4 fcP ⊂S1hβ⊂λ)`∞αλ∧⊂MG↓∀!fcPP ⊂s1hε⊂λ9X∞CH∧_Nπ↓t!fcAλ ⊂s1h ⊂λ9X∞Eλ∧_NπαT"&cA8 ⊃∪1h ⊂λIX∞F(∧(MG#4"gβAh ⊃∪1`∂PλIX∞Gh∧(MG$∀"fcR_ ⊃3A`∩PλYX∞ H∧0MG$t#&cRH ⊃S1h∃⊂λy`∞ λ∧0MG¬d#&cRx ⊃S1h_⊂λyX∞LH∧8NπεD#fcC0 ⊃s1h≠⊂ X∞Nλ∧@MG'$$'βCX ∩∪1`≡P X∞OH∧@MG(∧ ∩∪1h ⊂(∧HNπλ∧_ ∩31` ⊃(∧HMG(∧0 ∩31h ⊃h∧PMG(∧H ∩SA` ∩h∧PMGλ∧` ∩S1h ∪(∧PMG(∧x ∩S1h ∀(∧PNπλ¬⊂ ∩s1` ∃λ∧XMG(¬( ∩s1h ∃H∧`MG(¬@ ∪∪A` ⊗H∧`MGλ¬` ∪∪1h ↔λ∧hMG(¬p ∪31h _λ∧`Nπλε⊂ ∪∪1` _h∧hMG(ε ∪31h →H∧hMG(ε8 ∩SA` ~(∧ MGλεX≡fc$7MS10 ≥ε→XλP∂2PNαhλ⊂⊃f`tCGS0⊂ #Bt@ λλ'!)`α⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pλ¬>.?(8Pa xA∞'(6→>P∂(␈ohv@z@!/H9⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pλ¬>.?(␈ohv@z@!/H9⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pλ>.?(z@"OH9⎇ λ0 ∨x␈␈␈p↓0∨∂x␈␈␈@~`πp0Kβ(
x↓eb4Tα∩aH (Ai0⊂⊂∪A⊂KIH ( eETGπ∩c "∧ 8≥⊂⊂∩(K⊂λ∀?I3D P∂r O⊂λ∧>I∪T ⊂∂B_O∂hπP⊃g't<λsSx ≥d)p∨⊂∞R⊂NOHπ_⊃''T9λSSh ≤$→h≡P
rλNO(εh⊂g'T5H3Sh ~$→h≡P rλNOλε8⊂''D2H3S` _d→h≡⊂ ∩λNOλ¬x⊂g'D/λ∪S` ↔∧ h≥P 2NNh¬H⊂''4+H∪SX ∃$ p≥⊂
AxNNH¬⊂∂g'$(πsSP ∪Cyh≤P QxNN(∧X∂g'∀%πSSH ∩βih≤PλapNN(∧ ∂''∀!πSS@ ⊂#ih≤⊂λ↓hNNπapNNπApNNπ!pNNπ↓pNNεapNMfahNMfAhNMf!hNMf↓hNMeahNMeAhNMe1`NMe⊃`NME↓`NMDa`NMDA`NMD!`NMD⊃XNMCqXNMCQXNM#AXNM#!XNM#↓XNM"a`NM"QXNM"1XNM"⊃XNMα↓XNM↓aXNM↓AXNM↓1PNM↓⊃PNMqPNMQPNM1PNL`!PNP Yh ∩sT$g(∧8NPλYh ⊂sT g'yh≡g'Ih≥'' h≠'&Ih→'&→h_'%yh↔'%Yh⊗'%9`∃g%)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃&e9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃g¬9`∃feI`⊗'¬I`⊗'¬I`⊗'¬I`⊗'¬I`⊗&eY`⊗g¬Y`⊗g¬Y`∀g∧I`∂&c→`
'↓i`∧'4 xA∞'(6→>P∂(8Pa z@#L0 ⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pλ∞1B␈(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@#L0 ⎇?{x#Z≡Pλ∞1B␈(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@",0 ⎇ ≡Pλ∪1B␈(!@-?␈␈x␈@ λ h@∃P→i` 3S4ggλ xN⊂→y` 3s4h'λ
N⊂~ X 43Dhgλ
λN⊂~→X 4SDi'λ
⊂N⊂~)X 4sDigλ
_N⊂~9X 5∪Dj'λ
MP⊃ 0 ⊃∪D=Eλ∧ N⊂
qx ⊃∪D2Jλ∧ MP Cλ ⊃∪D*∞λ∧ N⊂ Cx ⊃∪D"PλT">%PλI`≤P
∧"'ε4*Pλ9`↔P ∧!feD-Pλ9`∀⊂ d!g∧T0⊂λ9X⊃⊂ 4!gβt2Pλ9`∞⊂ t!gβ∀4Pλ9X ⊂
$!gαT6⊂λ9` P
T!gα∧7Pλ9XπP∞∧!g↓T8Pλ9`¬P∞$!g↓∧:⊂λ9XβP∞T!gT;⊂λ9`α⊂∞d!f`4;Pλ9`P∂∧!R≡λ∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s$"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃∪4"&h∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fh∧_MPλ9X ⊂s4!fH∧ MPλIX ⊃∪4"&h∧ MPλIX ⊃λ hfh∧ '9X ⊃λ Xαfh∧ &! X ⊃λ @∧fh∧ %AIX ⊃λ (π&h∧ $b X ⊃λ ⊂ &h∧ $αYX ⊃λλp &h∧ #β)X ⊃λλP∞fh∧ "∧ X ⊃λλ0⊃fh∧ diX ⊃λλ∃&h∧ ∨%iX ⊃λπP_fh∧ ≥FiX ⊃λπ⊂≥fh∧ ≠(∧λMPλD3PλyX ⊃λε ∪s4"⊂ ∧,&h∧ ∪hε⊂MPλD"P
IX ⊃π$<&h∧ ⊗P⊂iX ⊃βTKfh∧ αP∃y` >∪D|'λ∂8N⊂≡y` =sD{gλ∂0N⊂≡i` =SD{'λ∂(N⊂≡Y` =3Dzgλ∂ N⊂≡I` =∪Dygλ∂_N⊂≡9` <sDy'λ∂⊂N⊂≡)` <HOλα≤NV`2⎇ ≡Pq!BO(,s→⊂z@≤(0
< G⊂:[ ←(z␈wt84= _Ld↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(,s→⊂z␈wt84= _Ld↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(*3→⊂z@= hLd↑P∧_ελ␈␈␈␈x↓ x␈␈␈␈@
λβp↔%G9H ⊂S∀$&H∧`M⊂
P ∃∪$+fh¬PMP IX ↔S40&hε⊂MP I` →343fhεHN
↓S(MIb3λN #αxMI#2pN βbhMI∧∩`N ∧"XMI∧BXN ∧RXN ∧bPMI$rPN %αHN %∩HMIE∩HN E"HN E2@N e"@MJ¬2@N
¬2@N
¬B8N
¬B8MJ%B@N
¬b8NλFB8Nππ"8N¬gr8MDH∧(∪g↓D%Is@8 ∀∧y`P
b8$+IsB85E#B8K
↓r8LP →H →∪$3&Hε@M⊂
)X ~s$6fhεpMP
yX ≤∪48fhπ⊂MP∞9X ≥∪4:fhπ0N⊂∞iX ≥s4<&hπHMP∂)` ≡S3 C"0ML∧b0MKE∩0N
eB0MJEb0MJEr0N
ε∩0MJε"0N f20MIfB0N FR0MIFb0N Fb0MIFr0N Fr0MIGα0N Gα0N Gα0MIG∩0N G∩0N G∩0MIg∩0N g∩0N G"0N G"0N G"0MIg"0N g"0N g"0N g"0N g"0N g"0N g"0N g"0N g"0N g∩8N g∩8N g∩8N g∩8N g∩8N g∩8N
πα8N
πα8NIgα8N gα8N
εr8N
εb@N
εRHN
&2PNJε∩`N
%rhN
%bpN
EBxN
E#λNJDs_N
dS N ∧#0∩↓3R`∂NCPHN #Ch C3Bx Pλ!λλ'&↓⊂ ∩↓!_N a$4g(
N⊂∀9` (STP'λ xNP∪Yh &sD+(∧_NP
@⊂ ⊂SD)@h∧λNP
( ⊂∪T'↓Gyh ∪spN⊂ H≡g(∧@¬∂∪T"C')h ⊂acHNPλ↓≤''Q⊂≠g'! ≠'FQ@~'&!P→gEQp_gEαλ_'D"0↔'c2P⊗hαβ⊂∃we→h∪g$Yp⊃'Cyp∞(αz⊂λ⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pa2←(8Pa xA∞'(6→>P∂(␈ohv@z@_ λJ⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pa2←(␈ohv@z@_ λJ⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P\2←(z@→@λJ⎇ λ0 /x␈␈␈p∧0_/x␈␈␈ ≡` 0λM@S0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪1(MES18MF∪1HMFS1XMG∪1hMGS1xMH∪2λMHS2_MI∪2(MIS28MJ∪2HN
3BHNJ∪B@NIsB8N sR0N SB0N SB0NI3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(∩DSB(⊂GsB(∂ sB(
KSB( LsB(
SB( ∞SB(
∂SB( Pλ→`∩D(∧ N "∧#g∧Px ∩3B(π⊂ 9`∩Cλ∧pN !4('∧PP ∀SB(∧P
I`∩Bλ¬0N t,'∧P0 ⊗3B(αP 9`∩Aβ`p_g∧P_
¬Ey`∩@Bqh⊗g∧P⊂
H%9`∩@"B(∃'παH∀gεr`∀'εRx∪gεCλ∪gε3 ∪'ε#0∩gε∪@∩gεβP∩'εβX∩'¬sh⊃g¬cx⊃g¬T ∪Bh ⊂$9`⊗⊂λ2_N
h∧ ⊃g¬4"HSBP ⊃D9`∃⊂λr⊂N
(∧@⊃g¬∀$HSB@ ∩D9`∀⊂ "_N h∧`⊃'∧t&λsB8 ∪∧9`∪⊂ R_N H∧p⊃g∧d'λsB( ∪d9`∩P r N (∧x∩'∧T'I∪B( ∪dY`∩P
α MIH¬∩'∧d( ∪B0 ∀∧Y`∪⊂
α(N H¬∩g∧d( 3B0 ∀∧Y`∪⊂
α(N H¬∪'∧d( SB0 ∀∧i`∪⊂
α0N H¬∪'∧d( SB0 ∀∧i`∪⊂
α0N H¬∪g∧d( sB0 ∀∧y`∪⊂
α8N H¬∪g∧d( sB0 ∀∧y`∪⊂
α8N H¬∪g∧d( sB0 ∀∧y`∪⊂
α8N H¬∪g∧d( sB0 ∀∧y`∪⊂
α8N H¬∪g∧d( sB0 ∀∧i`∪⊂
α0N H∧x∪g∧d'IsB0 ∪dy`∪⊂ r8N H∧x∪g∧d'IsB0 ∪di`∪⊂ r0N H∧p∪g∧d' sB0 ∪DyX∪P b0N h∧p∪'∧t&IsB8 ∪$y`∪P R0N h∧h∪'∧t& sB8 ∪∧y`∪P B0N h∧X∪g∧t%IsB8 ∩di`∪P "8N h∧P∪'∧t$IsB8 ∩$y`∪P α8N h∧@∪g∧t#IsB8 ⊃dy`∪Pλb8N
λ∧(∪g¬∀!IsBH ⊂E `∃⊂λα@N
gr@N
gb@N πBHN '"HN GαPN fbPN εBPN &"XMLer`N
¬R`N
%2hN
drpN∞$2xN∞csN∂C∪⊂N⊂λA~gλλ@N⊂⊂y`∀(¬hN
$-g¬_ ⊗3B@α⊂
y`∀↓H¬ N
t)'¬@ ∪sB@¬⊂ I`⊃∧(∧HNπβ∀"gαqx ⊂SAλ∪OS@X_∞∪@(≤ {B`OHt0x"< G⊂:[ ←(z@≤(0
= _d⊃↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(0y∧0z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ _d⊃↑←x←Qm∂(0y∧0z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ Hd⊃↑P∂(39∧0z@⊂`_␈␈x␈␈`α`-?␈x␈⎇ )@_"Y(∩%ey@≠fπyH ⊃3∀%fH¬M⊂
YH ⊗S$/fHε_M⊂ yX ~S$7&Hπ⊂MP∞YP ≥s4<&hπHM⊂∂9X ∨∪4>fHπxMP⊂ X 33hπ
s3H
∪38⊃
s3(∀Is3 ↔ ∪3_→H33⊂≤πS3⊂≥G∪3λ∨FSC ⊂C X_⊂λQ0MKh∧@
fet%DsBp ∪B→X↔⊂
↓MKH¬_π&ed*C3Bh ∃aIX⊗P ⊂XMKH¬X∧g¬T.B∪2h ↔`y`⊗⊂ ⊂0MK(ε⊂αg¬D2↓∪2` →@9`⊗⊂ p⊂MKλεHg¬D4@32`N ∪2`N ∪BXMK∪BXMK∪B`N
s2`N ∪BXN
s2`N
sBXN
sBXMK∪BXN
sBXN
sBXMK∪BXN
sBXN
sBXN
sBXN
sBXN
sBXN
sBXN
sBXN
sBXN
sBXN
sRXN
sBXN
sBXN ∪RXN
sB`N ∪B`NK∪B`N ∪BhNKλπPg¬Y`⊗P∂λNK(π8g¬T;SBp ≥ )h⊗P∞@_N Hπ⊂↓g¬d9sRp ≤I`↔P
p NKHεpαg¬t6↓SRx ~@i`_⊂
8NKhε@βgε∧3α∪S →↓→`_P HNL(ε¬'ε$/αsS⊂ ↔↓I`→P hNLh¬@π'&4+βSC( ∀B h~P
↓λNM(∧p 'εt%¬∪S8 ∩αYh≤⊂λA0NN(∧ ''#h gπCH
g'S ∂''c∂g(∧∃λST! ∧Yh ⊃#BHNP !↔g(λ@NP⊂ih sT@'Hπ`NP∂→h ≥Sd9'(εxO⊂
)h →sd1'H¬hO⊂ p ∀sd''H∧@OPλ→x≥'f*λ∪(Bd xA∞'(6→>P∂(8Pa z@→Jx%= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pf+i/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@→Jx%=?{x#Z≡Pf+i/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@_*x%= ≡Pk+i/(!@2?␈␈x␈@
@T?␈␈x⎇yT30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH3BλNλ3RNλ∪BNλ∪QxNπsAxNπsAxNGSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπSApNπMPx⊂πRaX
πSα_ πS∩H GS"pλπS#⊂ππS#0επS#P¬πS#p∧πS$ AciX ⊂`apM⊂λp ∂&h∧H↓GS4%@CiP ∪@⊃pMP
iX ≠s48&hπλMP∞)X ≤s4:&hπ(MP∞iX ≥sD;fhπ@MP∂→X ≡SD=&hπXMP∂IX ∨3D>fhπpN⊂∂iX~βπyX_E')`↔FfiX↔λε9`⊗Hf→X⊗ ey`∃JEYX∃K%9`∃ ¬→X∃ E `∀M$iX∀MdY`∀N∧IX∀ND9`∀∂∧)`∀∂$→X∀∂d `∀⊂λ↓xN h∧λ∂fe∧ GsB8 ⊂Cy`∪Pλ!xMIh∧_∂g∧t!GsB8 ⊂cyX∪PλAxN h∧ ∂g∧t"πs28 ⊃#y`∪PλQxN h∧(∂g∧t"Gs28 ⊃Cy`∪PλaxN h∧0∂g∧t#πsB0 ⊃cy`∪⊂λqxMIh∧8∂g∧t#GsB8 ⊃cy`∪PλqxN H∧@∂g∧d$πs28 ∩βy`∪P ↓xN h∧@∂g∧t$πsB8 ∩βy`∪P ↓xN h∧@∂g∧t$πsB8 ∩βy`∪P ↓xN h∧@∂g∧d$GsB0 ∩#y`∪⊂ ⊃xN H∧H∂g∧d$GsB0 ∩#y`∪⊂ ⊃xN H∧H∂g∧d$GsB0 ∩#y`∪⊂ ⊃xN H∧H∂g∧t$πsB8 ∩βy`∪P ↓xN h∧@∂g∧t$πsR0 ⊃d `∪PλbN h∧0⊂'∧t#λ∪B8 ⊃D h∪PλRN h∧(⊂'∧t"H∪B@ ⊃∧ `∀⊂λBNJλ∧⊂⊂g¬∧!λ3BH ⊂∧)h∀⊂λα⊂N
'b_N
'R NJ'B N
'2(N
G∩0NJFr8N
Fb@NJFBHN
f"PN εαXNK¬RhN %2pNK%βN dSλNKd#_NLβc(N C∪@NLbCXN
aCxNP⊂→h ∪D@'(πxNP∂i` ∨ST>g(π`NP∂9` ≡sT='(πHNP∂ h ∃ ∩λNP
@λ⊂g(¬⊂↓λ3T(@D→h ∪`2λNP P ⊂gH∧Xαλ3T$A$→h ⊃`bλNPλP8⊂gH∧⊂∧λ3T α$→p≡BD→p≥αd→p≠β$→p→CD→p↔D∧→p∃DD→x∪¬βix⊂EC
FB:⊂πGA\Hβg$ xA∞'(6→>P∂(8Pa z@≤∧λE= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pp⊂1/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≤∧λE=?{x#Z≡Pp⊂1/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@~dλE= ≡Pu⊂1/(!@2␈␈␈x␈@⊂←␈␈␈x}@N3D2apKIs∩hLLs∪@LO3$ fH∧(M⊂ →P ∪34'fH¬_M⊂
iX ⊗3$.&h¬pMP →X _s$3&hε@MP
)X ≠∪3_εKS3
Js2p
J32h⊂ s2`∩ S2X∪I32X∃ ∪BH⊗I∪2H_λs2H→λs2H~λSB@≠λS2@≤λS2@≥λ3B8≡λ32@≡H32@∨λ3B8 ⊂∧→X∀⊂λ∩N h∧⊂⊂fdt"λ3B8 ⊃∧→X∪PλbλN h∧0⊂fdt$λ3B8 ∩∧→X∪P "λN h∧P⊂g∧t%H∪28 ∪∧→`∪P BλN h∧h⊂fdt'λ3B8 ∪D)`∪P b⊂MIh∧x⊃'∧t(λSB8 ∀∧)`∪P
α⊂MIh¬λ⊃g∧t(HsB8 ∀$9`∪P
∩_N⊂∪I` '∪DN&h hN⊂∪i` 'SDO'λ pN⊂∪y` 'sDOgλ xN⊂∪y` 'sDOgλ
N⊂∀ ` (∪DP'λ
NP∪y` 'sB8N sB8N sB@NIsB8N sB@NIsB8N
∪B@NIsB@N
∪R@N
∪R@N
∪BHNJ∪BHNJ∪BHNJ3BHNJ3BP → )h∀P @_NJ(ε⊂α'¬$/ASRP ↔ y`∃P HNJh¬8¬g%4*C∪B` ∀Aih⊗⊂ qNK(∧X '%T#E3Rp ⊂by`↔Oc)h_∞CYh_M$ h→ dIh~
¬ h≠λ¬Yh≥∧fYh 3T@'(πpNP∂Ip ≡3T;'(π O⊂∞ h ≠ST5gHε8O⊂ 9h _∪d.'H¬@O⊂
Ip ∪st%'H∧(OOSs8P tα0QEhOλα≤NV`2⎇ ≡Pq!BO(∨∩qHz@≤(0
< G⊂:[ ←(z␈wt84= π`KF>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(∨∩qHz␈wt84= π`KF>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(≤RqHz@= λ0KF>P∧_ε0␈␈␈␈x0π␈␈␈␈`∂∧(ε&αIH
&CyP⊃fDiP∃&eIX↔fF)X~&fiX≤&g)X≡&gYX∨fh∧λN⊂λ→X ⊂s4"gλ∧(MPλyX ∩∪D$&c`P⊃'β1λ∂&c!(∞'β↓@
fc↓X 'αqh &bqx
'αbλ &br⊂λ'αb_πgαR(εfbb(ε'αR8¬'αR8∧fbb8∧'αb@β'αRHαfbbHα'αbH↓gαbH↓&brHgαy` gαy` fc ` gβ→` gβ→X
'β9`
gβ9`∞'βI`∞'βYX∂'βi`∂gβy`∂g∧ `⊂'∧ `⊂g∧→`⊂g∧)`⊃'∧)`⊃'∧9X∩'∧I`∩'∧I`∩g∧Y`∩g∧Xp →S43'λε0N⊂ i` →SD3&hε0N⊂ i` →SD3'λε0N⊂ iX →SD3'λε0N⊂ i` →SD3&hε0N⊂ i` →SD3'λε0MO3@xα 5r(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0MIsB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N
∪B@N
∪B@N
∪B@N
∪B@N sB⊂Nπ∪A0N∧3@XN↓(Oλα≤NV`2⎇ ≡Pq!BO(-1&@z@≤(0
< G⊂:[ ←(z␈wt84= (E~≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(-1&@z␈wt84= (E~≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(*q&@z@= xE~≡P∧_ε8␈␈␈␈x↓8 8␈␈␈{`
H 8f`)X↓f`IXαf`fπ y0 Ia @⊂λa→H∩H↓)H∃π!9P↔εAIP→¬aYP~E!iP≤DAyX≥Dα P∨βB→P ⊂!A⊂MPλ0P fh∧(∧¬∪4#ABYP ∩@A0MP @⊂ fh∧hF∪43fhε@MP
→X ~S45fhε`MP
Y` ≠347&hεxMP∞ ` ≤∪48fhπ⊂N⊂∞)X ≤s4:'λπ MHa$$'βq_ ⊂s1p OsA`∂∂∪1`⊂NSAP∩N∪1P∀
SAH∃M∪1H⊗LsA@_ 31@→ ∪A8~KSA8≠ 318≤ ∪A0≥
s18≥JSA0≡J3A0∨
∪10 ⊂∧y` ⊂λα8N¬(∧⊂∪'αT!I31( ⊃$I`
PλR N¬(∧0⊃gαD#Hs1( ∩∧)`
P α⊂N¬(∧H⊂gαD%λ3A ∩d X
P 2N¬(∧X⊂'αT&πsA( ∪βy`
P AxN¬(∧h∂'αT&GSA ∪CiX
P apN¬(∧p∂'αd&GSA0 ∪CY` ⊂ ahN¬H∧p∞gαd'π3A0 ∪CY` ⊂ ahN¬H∧p∞gαt&G3A8 ∪#Y` P QhN¬h∧h∞gβ∧%GSA@ ∩ci` ⊂ 1pNFλ∧P∂'β∧%πSAH ∩#i` P ↓xNεH∧8∂gβ$#GsAX ⊃$ `∞⊂λBNπλ∧ ⊂'#D!λ3Ah ⊂$→`∞Pλα⊂NπGr⊂NπgR_NλπB_NHπ" Nλ'∩ NλFr(NλfR0NHfB0N &∩8N Er@N
¬BHNJ¬"PN
DrXN ∧B`NK$αpN cRxN CβλNM"#_N∞!#8N⊂∂)h ≡3D<g(π@N⊂∂ h ≥sD;g(π0N⊂∞ih ≥3D:g(π N⊂
pλ∞'(¬(↓π∪T)@cI` ∀@A`NP
(∞'(∧pβπ∪T&↓cI` ∩`qhNP ⊂@∞g(∧0¬π3T"αcYh ⊂AAhNOaahNO!qhNNB⊃hO
b!hNMαA`NL"a`O #↓`O
#!`O βQ`Oπd↓`OF∧A`PC%!`iG∪A`Nπ∪A`NεsAXNεs1`Nπ∪A`Nπ Pλ∨εs⊂_∨Fs (∨Fs⊂@∨Fs⊂X∨Fs⊂p∨Fs!∨εs⊃_∨εs⊃0∨εs⊃H∨εs!X∨εS⊃p∨εS∩⊂≡εs∩(≡εsB(≡εSR ≡εSB(≥εsB(≥εSR ≥εSB(≤εsR ≤εSB(≠FSB(≠εSR(~FSB0→FsR(→FSB0_FsR0↔FsB8↔εsR8⊗εsR8∃π∪B@∀π∪RH∩G3BP⊃G3RX∂GSRX∞GsR` H∪Bx HsS⊂¬IST0g(¬xNP ih ↔∪T-'(¬@NP
ih ∃∪d(g(∧xNP Yp ∩3T#gH∧ O⊂λ p≡'G→p~gF x∃'dJ∞(B∀ xA∞'(6→>P∂(8Pa z@~Y u= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pje≥/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@~Y u=?{x#Z≡Pje≥/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@→9 u= ≡Poe≥/(!@4?␈␈x␈@⊃@X␈␈␈x}z@%@30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH32⊂MHs2 MI320MIs2@MJ3R@N
∪R8N sB8NISB0N SB0N SR(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(≠βsB(_¬sB(⊗πSB(∀HsB(∪
∪B(∩
sB(⊃ sB(⊂ SB(∂
SB(∞∞3B(
NsB( OSB( ⊂λ `∩Eh∧⊂N "T"g∧Q ⊃sB( P `∩DH∧PN "∀&'∧Q ∪SB(πP y`∩CH¬λN !T)'∧P` ∃∪B(¬P
Y`∩BH¬8N !$+g∧PH ⊗3B(∧⊂ )`∩Ah¬`N b_∧ SB(βλ↓bxN Qx 3B(απBb`N 1p
sB(↓G#"PN !h∞
3B(G#RHN ⊃`∂J3D H¬→` ⊂∧∩HN∂d2@N∂DB@N∂$R@N∂∧r8N∂∧r8N∞eα8N∞E∩8N∞%"8N∞¬B0N∞¬B0N
eR0N
Eb0MMEr0N
Er0N
&α0N
ε∩0N f"0N f"0N F20N &B0N &B0N εR0N εR0N fb0N Fr0N Fr0N 'α0N 'α0N π∩0N π∩0N
g"0N
g"0N
G20N
GB(N
'R(N
'R(N
πb(N
πb(N gr(N gr(N H∧∩g∧d 3B0 ⊂∧Y`∪⊂λα(N H∧∩g∧d 3B0 ⊂∧Y`∪⊂λα(N H∧∩g∧d 3B0 ⊂∧Y`∪⊂λα(N H∧∩g∧d 3B0 ⊂∧Y`∪⊂λα(N H∧∩g∧d 3B0 ⊂∧Y`∪⊂λα(N H∧∩g∧d 3B0 ⊂∧iX∪Pλα0N h∧∪'∧t SB8 ⊂∧i`∪Pλα0N h∧∪'∧t SB8 ⊂∧i`∪Pλα0N h∧∪'∧t SB8 ⊂∧i`∪Pλα0N h∧∪'∧t SB8 ⊂∧i`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪Ody`∪OdyX∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂dy`∀∂E `∀∂E `∀∂E `∀∂E `∀∂E `∀∂E `∀∂E `∀∂E `⊃⊂λB⊂Nπλ∧P∞'αt'EsAλ ∃"→`¬P 0XN↓(ελβ⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡P;)x∨(8Pa xA∞'(6→>P∂(␈ohv@z@∞j8`⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P;)x∨(␈ohv@z@∞j8`⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P6)x∨(z@⊂
8`⎇ λ0
∨x␈␈␈p∧⊂
∨x␈␈␈@_@λp8Kβ2q⊂Kε∩axKI∩bPL SRhN SBpN SRhN SBpN SRhN SBpN SRhN ∪B0Nλ∪AXNE∪@pNα3@_←Q! 0KBraλK¬rq`KλRb@LJsBXN
sBXNJSBPN
SBPNJ3BHN
3BHNJ∪B@N
∪B@N
∪B@NIsB8N sB8N sB8N sB8N sB8N sB8N sB8NISB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0MIsB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB⊂MG3A8N∧3@`N↓HOλα≤NV`2⎇ ≡Pq!BO( vJ(z@≤(0
< G⊂:[ ←(z␈wt84= λ_Z)>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←( vJ(z␈wt84= λ_Z)>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(≡6J(z@= λhZ)>P∧_εP␈␈␈␈xPελ␈␈␈{(
X¬pf`9Xα&`YXβ&`yX∧&a→X¬&a9Xε&aYXπ&ayXλ&b→X &b9X
&bYX &biX fc X fc)X
fcIX∞&cIX∞&cIX∞&cIX∞&cI`
gβ)` gβ ` gαiX 'αY`
'α9` ∧`→`λD`)`λ∧`9`πD`I`π∧`Y`εD`i`ε∧`y`¬Da `¬∧a→`∧Da)`∧∧a9`βDaI`β∧aY`αDaih↓Day`↓∧b `Db~x &b9X
&bYX &byX &c→X
&c9X∞&cYX∂&cyX⊂&d→X⊃&d9X∩&dYX∪&dyX∀&e→`∀g% h∪g∧yh∪g∧yh∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'$Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧iX∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪'∧i`∪'∧i`∪'∧gP↓λ∧iX↓H∧iXαλ∧iXαH∧iXβλ∧iXβH∧YX∧λ∧YX∧H∧YX¬λ∧YX¬GdiXεGDiXππDiXπGDYXλπDYX π$YX G$Y` G∧Y` G∧Y`
εdY`
εdY`
εDY`
F$Y`
F$Y` ¬di` ¬dY` ¬dYh ¬$i` ¬$Y` Ddi` ∧DY` ∧$ih βdy` C$y`
αe h
AE)` ∩sT$gλ∧HNPλy` ⊃ST"gλ∧ NPλ9` ⊂ST ''yh≡gπIh≥'' h≠'&Ih→'%yh⊗gE)h∪gD9p∂gC9p (↓d xA∞'(6→>P∂(8Pa z@↔JH+⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P↑**␈(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@↔JH+⎇?{x#Z≡P↑**␈(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@⊗*H+⎇ ≡Pc**␈(!@5␈␈␈x␈@∂@V?␈␈x}z@#@30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH32⊂MHs2 MI320MIs2@MJ3R@N
∪R8N sB8NISB0N SB0N SR(N 3B(N 3B(N 3B( ∀→`∩P
λN (∧x↓'∧T'sB( ∪ I`∩P @(N (∧Xβ'∧T$B∪B( ∩↓→`∩Pλ`XN (∧ εg∧T!βsB( ⊂" `∩Ob)`∩O"I`∩OαY`∩NBy`∩Nβ→`∩MC9`∩MβY`∩Lci`∩L$ `∩Kd)`∩K$I`∩Jdi`∩JDy`∩J¬→`∩IE9`∩I¬Y`∩HEy`∩Hε→`∩GF9`∩G&I`∩Ffi`∩F' `∩Eg)`∩E'I`∩Dgi`∩D(∧N !t!'∧Ph ⊂sB(¬PλI`∩B(∧ N t"g∧P( ⊃SB(↓Pλy`∩@(∧@N⊂
I` ~sD5'λεHN⊂ y` →SD2gλε N⊂ )` _3D0'λ¬xN⊂ Y` ↔∪D-gλ¬PN⊂ →` ∃sD+'λ¬(N⊂
I` ∀SD(gλ¬N⊂ y` ∪3D&'λ∧XN⊂ )` ∩∪D#gλ∧8N⊂ ` ∩3D$gλ∧PN⊂ 9` ∩sD&'λ∧hN⊂ Y` ∪SD'gλ∧xN⊂
` ∀3D(gλ¬⊂MP
9` ∃∪D*gλ¬(N⊂
i` ∃sD+g¬⊂_⊗'¬(⊗'∧p8∃g∧`@⊗'∧`H⊗'∧`P∃g∧`P⊗'∧`X⊗'∧``∃g∧`h∃g∧`h⊗'∧`p∃g∧`x∃g∧a∃g∧a∃g∧aλ∃g∧a⊂∃'∧a⊂∃g∧a_∃g∧a ∃'∧a(∃'∧a(∃g∧a0∃'∧a8∃'∧a8∃g∧a@∃'∧aH∃'∧aP∃'∧aP∃'∧aX∃'∧a`∃'∧a`∃'∧ah∃'∧ap∃'∧ax∀g∧ax∃'∧b∀g∧bλ∀g∧bλ∃'∧b⊂∀g∧b_∀g∧b_∃'∧b ∀g∧b(∀g∧b0∀g∧b0∀fdr8∀g∧r@∀g∧r@∀g∧rH∀g∧rP∀g∧rP∀g∧rX∀g∧r`∀g∧r`∀g∧rh∀g∧rp∀'∧rp∀g∧rx∀g∧s∀'∧s∀g∧sλ∀g∧s⊂∀'∧s⊂∀g∧s_∀g∧s ∀'∧s ∀g∧s(∀g∧s0∀'∧s0∀g∧s8∀g∧s@∀'∧s@∀g∧sH∀g∧sP∀'∧sP∀g∧sX∀'∧sX∀g∧s`∀g∧s`∀'∧sh⊂g∧sh∞'∧sh &eβhλ'∧4!αSAh ∩Y` gα)`ε'd xA∞'(6→>P∂(8Pa z@∞j8`⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P;)x∨(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∞j8`⎇?{x#Z≡P;)x∨(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@
J8`⎇ ≡P@)x∨(!@6?␈␈x␈@∪'?␈␈x}z@'30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH32⊂MHs2 MI320MIs2@MJ3R@N
∪R8N sB8NISB0N SB0N SR(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(MISB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N S28N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8MJ∪B_Nπ3A8N∧3@`N↓HOλα≤NV`2⎇ ≡Pq!BO(TE*z@≤(0
< G⊂:[ ←(z␈wt84= ∃⊂∃(≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(TE*z␈wt84= ∃⊂∃(≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(R¬*z@= ∃`∃(≡P∧_εh␈␈␈␈xα∩p␈␈␈␈` ∧@f`)X↓f`IXαf`iXβfa X∧fa)X¬faIXεfaiXπfb Xλfb)X fbAh∞P
1XME"r` ⊃%→X ∧FsP~&bpx∨ g9X βλ∧ ⊗Pλ→X B(∧P∪PλyX
↓h∧x⊃⊂ IX
A(¬_∂⊂
X∞h¬8
⊂
IX∞@(¬X ⊂ X ≡b4.&hπpπP yX ↓T1&hλ_∧P YX ! t4&hλ8αP
)X " $6fh∂PMP∨IX ?S4λ@∪4λ@STλ@3dλ@∪Tλ@∪T␈gλ⊂λ'(⊂λ'λ⊂λ'εq ↔B∀#gε"_ ∪DβpN ¬∀#Ig9`↔ H∧⊂⊗∞∪B`→O&∪0N
fcH~M∪BP≤MGβ⊂N
'3 ≥L3B@∨ 'SN
πrx ⊂¬i`∪Pλ∩p ⊂%i`∪⊂λ2` ⊂eY`∪⊂λBX ⊃¬I`∩PλbH ⊃E9`∩PλbH ⊃e9`∩Pλr@ ⊃e9`∩⊂ α8 ∩%)`∩⊂ ∩8 ∩%→`∩⊂ ∩8 ∩%→`⊃P "8 ∩E→`⊃P "8 ∩E→`⊃P 20 ∩e `⊃P 20 ∩e `⊃P 20 ∩e `⊃P 20 ∪∧y`⊃P 20 ∪∧y`⊃P 20 ∪∧y`⊃P 20 ∪¬ `⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪$y`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪Di`⊃P 20 ∪DiX∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ 20 ∪Di`∩⊂ "8 ∪Di`∩⊂ "8 ∪Di`∩⊂ "8 ∪Di`∩⊂ "8 ∪Di`∩⊂ "8 ∪DiX∩P "8 ∪Di`∩P "8 ∪Di`∩P "8 ∪Di`∩P "8 ∪Di`∩P "8 ∪Di`∩P "8 ∪$y`∩P "8 ∪$y`∩P "8 ∪$y`∩P "8 ∪$y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧y`∩P "@ ∪∧yX∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪∧y`∪⊂ "@ ∪¬ `∪⊂ "@ ∪¬ `∪⊂ "@ ∪¬ `∪⊂ "@ ∪¬ `∪⊂ "@ ∪¬ X∪P "@ ∪¬ `∪P "@ ∪¬ `∪P "@ ∪¬ `∪P "@ ∪¬ `∪P "@ ∪¬ `∪P ∩H ∪¬ `∪P ∩H ∪¬ `∪P ∩H ∪¬ `∪P ∩P ∩e `∪P ∩P ∩e `∪P ∩P ∩e `∪P ∩P ∩e `∪P ∩P ∩e `∪P ∩P ∩e X∀⊂ ∩P ∩e `∀⊂ ∩P ∩e `∀⊂ ∩H ∪¬ `⊃⊂ r_ ∀D)`∞⊂
Qh ⊗βI` P !@ ↔"y`λP ↓⊂ _b→`¬P `` ~!9`β⊂
08 ≠@d@πλQ≡⊂ 9≥-F(z@= ∞⊂C¬≡PcUaO(8Pa xA∞'(6→>P∂(␈ohv@z@_u8ε=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PcUaO(␈ohv@z@_u8ε= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P↑UaO(z@~∃8ε= λ0
ox␈␈␈␈x␈␈␈P_∪`∞⊂pKF∪⊃pMλs"8$?␈␈xM⊂ 1H∃h(∧0 KSt!E&)x ⊂αC O∂B38NO"∪PO∞bβ`NNAspO∞↓d '&ph ⊂SS0ε⊂λIh~Bh∧0NM↓$#g&0H ∩3S⊂∧⊂ 9`→↓h∧hNL t&g&0 ∪sCαP
→h↔Aλ¬⊂N `4*'%`_ ∃∪Bp↓⊂
i`⊗@H¬8NK∀,g¬@λ ⊗3DCg(λ0N⊂λ⊂X≥gπQ⊂≤'π!@~gπ↓`~'&ap→gεB⊂_gε2 _gε∩8_'εαH↔g¬rX↔g¬bh↔'%Bx⊗g¬3⊗g¬#⊂⊗g¬∪ ⊗'¬∪ ⊗'¬∪(∃g¬∪(∃g¬∪0∃g%β0∃g¬β8∃'¬β8∃'¬β8∃'¬β@∀g¬β@∀g¬β@∃'¬βH∀g∧sP∀g∧sP∀g∧sX∀'∧sX∀'$cX∀'∧cX∀'∧c`∪g∧c`∪g∧c`∪g∧c`∪g∧c`∪g∧ch∪'∧ch∪'∧ch∪'∧ch∪'∧ch∪'∧ch∪'∧ch∪'∧ch∪'∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩g∧cp∩'∧cp∩'∧Sx∩'∧Sx∩'∧Sx∩'∧Sx∩'∧Sx∩'∧Sx∩&dcx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩'∧cx∩&dsx∩'∧sx∩'∧sx∩'∧sx∩'∧sx∩'∧sx∩'∧sx∩'∧sx∩&eβx∩g¬βx∩g¬βx∩g¬βx∩g¬βx∩g∧t 3B8 ⊂∧YX∀⊂λα(N
λ∧∪'¬∧ SB@ ⊂∧i`∀⊂λα0N
λ∧∪&e∀ sBH ⊂∧y`∀Pλα8N
(∧∪g¬∀
∪2P ⊂¬ `∃⊂λα@N
H∧∀g¬$
3BP ⊂¬)X∃PλαPN
h∧∃g¬4
sBX ⊂¬IX⊗⊂λα`N λ∧⊗g¬D SB` ⊂¬iX⊗PλαxN (∧_'¬T 3Bh ⊂ε)X↔⊂λβ_N H∧~'¬T M3Bh ⊂&yX↔⊂λ∪@N H∧λ≥⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pje≥/(8Pa xA∞'(6→>P∂(␈ohv@z@~Y u=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pje≥/(␈ohv@z@~Y u= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pee≥/(z@≠y u= λ0
␈x␈␈␈pβ ⊗/x␈␈␈∀ a0Kλrr`LLS∪@LO3$!&(∧8M⊂ )X ∪3$(fH¬ M⊂ X ⊗S4.&HεMP )X →∪$3fhεHMP
9X ≠338αLs3⊂πL∪2x S2h∞ ∪2`⊂
S2X∩
3BH∀
∪2@⊗ s28↔IS28_IS20~I3B(≠I∪2(≤I∪2(≥I∪B ≡Hs2 ∨Hs2 ⊂$)`∩⊂λ∩_MIλ∧_⊃'∧4"HS2 ⊃$)`⊃Pλr⊂MIλ∧8⊃'∧D$λS2 ∩$)`∩⊂ "⊂MI(∧P⊃'∧D%HSB ∪∧)X∩P B⊂N (∧`⊃&dd&λsB0 ∪$)`∪⊂ R⊂N H∧h⊃fdt&HsB8 ∪$9`∪P R_N h∧h⊃g∧t'λSB0 ∪d)`∪⊂ r⊂N H∧x⊃'∧d'HSB0 ∪d)`∪⊂ r_MIh∧x⊃g∧t'HsB8 ∀∧)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪⊂
∩⊂N H¬λ⊃'∧d(HSB0 ∀$)`∪P r_N h∧x⊃g∧t'HsR0 ∪d9`∪⊂ r⊂N H∧x⊃'∧d'HSB0 ∪d)`∪⊂ r⊂N h∧p⊃'∧t&HsB8 ∪$9`∪P R_N h∧h⊃g$d&HsB0 ∪$)`∪⊂ R⊂N H∧`⊃g$T&λSB( ∪∧)`∩P B⊂NIλ∧`⊂g∧T%λSR ∩D)`∩⊂ "λN λ∧H⊃'$D$λSB ⊃d)h⊃Pλr⊂N λ∧(⊃'$4"HSB ⊂d)h⊃Pλ2⊂N λ∧λ⊃'$Cx⊃g∧Cx⊃'$Ch⊃g$CX⊃g∧SH∩'$S8∩'$S(∩'∧c_∩g$s∩g$rp∩g%αP∪g%α@∪g¬" ∀'%B∀'%aX∀g&↓(⊗'&@h↔'(εhNP
9h ~3T3g(ε(NP 9p _∪T/'(¬XO⊂ h ∃Sd)g(¬O⊂ Ip ∩3d"gh∧O∂∪s0P tα@PGtQ"< G⊂:[ ←(z@≤(0
=
(J:↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(52NPz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
(J:↑←x←Qm∂(52NPz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ XJ:↑P∂(7rNPz@⊂`≤∨␈x␈␈`λ0?␈x␈j`(`↔#yH∃&&9P≤f(∧M⊂λYP ∩R0(↓⊂ i8 ↔∩d2%Hε`KP∞90 ≡RdA&hλ N⊂⊂Y` !sDD'λλHN⊂⊃)` "sC πP →`↔FH∧ N
d$ g¬α@∨g¬αX≡'¬αh≥g¬αx≥'¬βλ≤'¬β_≠g¬β(≠'¬β0~g¬β@~'¬βH~'¬βP→g¬β`→'¬βh_g¬βp_g¬βx_'¬∧ ∪B@ ⊂%y`∀⊂λ"pNIh∧_↔'∧t" 3B8 ⊃¬i`∪PλRhN h∧0⊗'∧t#K∪B8 ⊃eI`∪P αXN h∧@∃g∧t$JsB8 ∩%9`∪P "PN h∧P∃'∧t%JSB8 ∩e)`∪P BHN h∧`∀g∧t&J3B8 ∪%→`∪P RHN h∧p∀'∧t'
∪B8 ∪E `∪P bHN h∧x∀'∧t'J∪B8 ∪e `∪P r@N h¬∪g∧t( sB8 ∀∧y`∪P
α8N h¬∪g∧t(
∪B8 ∀¬ h∪⊂
∩8N H¬λ∪g∧d(IsB0 ∀$y`∪⊂
∩8N H¬λ∪g∧d(IsB0 ∀$y`∪⊂
∩8N H¬λ∪g∧d(IsB0 ∀$y`∪⊂
∩8N H¬λ∪g∧d(IsB0 ∀$y`∪⊂
∩8N H¬λ∪g∧d(ISB0 ∀$i`∪⊂
∩0N H¬λ∪'∧d( sB0 ∀∧i`∪⊂
α0N H¬∪'∧d( SB0 ∀∧Y`∪⊂
α(N H¬∩g∧d'I3B0 ∪dY`∪⊂ r(N H∧x∩'∧d'I∪B0 ∪DI`∪⊂ b N H∧p⊃g∧d'λsB0 ∪$9`∪⊂ R_N H∧h⊃'∧d&λsB0 ∪∧)`∪⊂ B⊂N H∧X⊃'∧d%H3B0 ∩D)`∪⊂ "λN H∧H⊂g∧d$H3B0 ∩∧→h∩P αN (∧8⊂'∧T#H∪B( ⊃D `∩PλRN (∧ ⊂'∧T"πsB( ⊂cy`∩Pλ"N (∧λ⊂'∧T λ∪B(∨H∪B(∨λ∪B(≡λ3B(≥H3B(≥λ3B(≤λSB(≠λsB0→I∪BH↔ 3B`∀ sC⊂J3C K∪C@π 3D;'λπ(N⊂∞I` ≤sD8gλπN⊂
i` ≠3D5gλεPN⊂
` →SD2'λε⊂N⊂ y` ↔3D-'λ¬8N⊂
I`∩@e `∩AD `∩Cα)`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧I`⊃g∧)`⊂g∧ `∂gβi`∞gβI`
gβ)` gβ ` gαi`
gαI` gα)`λgα `πfay`π'↓Y`ε'↓9`¬'↓→X∧g↓ `βgi`αf`Y`α'9`↓&`)`Q≡⊂ 9≥-F(z@= ∞⊂C¬≡Pg≥??(8Pa xA∞'(6→>P∂(␈ohv@z@→g(⎇⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pg≥??(␈ohv@z@→g(⎇⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pb≥??(z@≠π(⎇⎇ λ0∞∨x␈␈␈pβP∃Ox␈␈u0∀
qPKI∪α`LLS∪@LOS$!&H∧0M⊂ )X ∪∪$(&h¬⊂M⊂
iX ⊗∪4-&h¬`MP iX _∪41&hε MP i` →S3λβ 32pεKs2hλKSBX
K∪2P Js2P
JsBH∞JS2H∂JSB@⊂J32@⊃J32@∩J3B@∩J32@∪J3B8∀J∪2@∃
∪B8∃J∪28⊗J∪B8⊗J∪28↔J∪B8_ sB0_Is28→ sB0→Is28~ SB0~IsB0≠ S20≠ISB0≠IsB0≤ S20≤ISB0≤IsB0≥ SB(≥IS20≥IsB0≡ SB0≡ SB0≡ S20≡ISB0≡IsB0∨ SB0∨ SB0∨ SB(∨IS20∨IsB0∨IsB0∨IsB0 ⊂∧i`∪⊂λα0N H∧∪'∧d SB0 ⊂∧iX∪Pλα8N h∧∪g∧t sB8 ⊂∧y`∪Pλα8N H∧λ∪g∧d IsB0 ⊂$y`∪⊂λ∩8N H∧λ∪g∧d IsB0 ⊂$y`∪⊂λ∩8N H∧λ∪g∧d IsB0 ⊂$y`∪⊂λ∩8N h∧∪g∧t sB8 ⊂∧y`∪Pλα8N h∧∪g∧t sR0 ⊂∧y`∪⊂λα8N H∧∪g∧d sB0∨J∪B0∨J∪B0∨J∪B0∨J∪R0∨
∪B0∨
∪B0∨
∪B0≡J3B0≡J3R(≡J3B0≡
3B0≡
3B0≥JSR(≥JSB0≥
SB0≤JsB0≤JsR0≤
SB0≠JsB0≠JsB8~K∪R0~K∪B8~ ∪B8→K3R8→ 3B8_KSR8↔KsB8↔KsB@⊗L∪R8⊗L∪B@∃L3R@∀LSB@∀LSR@∪LsBH∩M∪R@∩M∪BH⊃M3RH⊂MSBP∂MsRP∞N∪RP
N3BX NSR`
O∪R` O3BpπOsS∧Pλ)h ≡ST<gλπHNP∂ h ≥sT:g(π NP∞9h ≤ST8gHεxNP
ih ≠3d5gHεHO⊂ yp∨@$Yp≥@dYx~ADYx↔B$Z∪C$Zλ∞DDZ(εεD\⊂∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∪'∧i`∪g∧y`∀'¬→`∀g¬ `∪g∧i`∩g∧I`⊃g∧)`⊂g∧ `∂gβi`∞gβI`
gβ)` gβ ` gαi`
gαI` gα)`λgα `πg↓i`εg↓I`¬g↓)`∧g↓ `βgi`αgI`↓g)`Q≡⊂ 9≥-F(z@= ∞⊂C¬≡PLD↓␈(8Pa xA∞'(6→>P∂(␈ohv@z@∪⊃π⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PLD↓␈(␈ohv@z@∪⊃π⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PGD↓␈(z@∀1π⎇ λ0∞/x␈␈␈p∧ ⊃←x␈␈␈@∃P λM@S0_MA∪0(MAS08MB∪0HMBG0@MBfp`MCε@xMC&!λMCF↓_MCea(MD¬A8MD%!HMDE⊃PMDdq`ME∧ahME$QpMED2MEd"λMF∧∩⊂MF$α_MFCr MFcR0MGβB8MG#2@MGC"HMGc∩PMHβαXMH"r`MHBbhMHbRpMIαBxMI"3MIB#λMIb∪⊂MJαβ_MJ"β_NJ↓s NIac(N aS0NIAC8N AC8N A3@NI!#HN !∪PN !∪PN !βXN s`N s`N bπβsB(αGC⊂8N QXN APN 1HN 18N !0N ! N ⊃ N ⊃⊂N
sC(N
∪C_N 3CN sBpN 3B`N
sBPN
3BHN
∪B8N sB0N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(MISB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N S28N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8MJ∪B@N
∪B@NλSAhN¬sAλNβ∪@0"< G⊂:[ ←(z@≤(0
= λ⎇h↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(,?:⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ λ⎇h↑←x←Qm∂(,?:⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
8⎇h↑P∂(.␈:⊂z@⊂`≤␈␈x␈␈`β`'␈␈x␈}`' ⊃%) ⊂∩t&fλ¬0LP IH _S∀3fHεXM⊂
iP ≤∪$9&hπ_M⊂∞YX ≥34;&hπ8MP∂ X ≡34='λπHMP∂)X ≡sCXπ S3_∞K∪2x∪ sB`⊗Hs2P→H∪B@≠GSB0≡εs2( ⊂# `∩⊂λA(Nλh∧8 fdD$D3B_ ∪↓y`⊃P `hNλh¬¬fd4)α3B_ ∀a `⊃P
@8Nλh¬(β'∧4+↓3B_ ∃`9`⊃P
p_Nλh¬@↓'∧4,@3B_ ⊗ →`⊃g∧I`∩'∧Yh∩g∧i`∪g¬ `∃'%9`⊗g¬yh_gεY`≡'(¬ N⊂ →` ↔∪T/'λελNP )` →3T3'(ε0N⊂
h ~3T4gλεXNP
9h ~sD6g(εhNP
Yh ≠3T6g(εhNP
Yh ≠3T6g(εhO⊂
9h ~sT5gHεPNP
→p ~∪T3gHε0O⊂ Yp _st0gH¬xOP Yx ⊗T∀*Z@∪@ ∪s@λ ∪π9`↓⊂
# NH¬0_f`D, S@ ⊗EI`αP 2XN↓(¬h∀gd/ s@8 ↔DiX∧⊂ r(Nα(¬x∩g↓$/I∪@P ↔dI`¬P r_Nβλ¬p⊃fad.Hs@x ↔$)`λ⊂ B⊂N∧(¬X⊃'α$-λS1 ⊗$)` ⊂
r⊂N¬h¬(⊃gβ∀)HsAP ∀D9`∞⊂ r_MGh∧h⊃g∧∀% ∪B_ ∩∧I`∩PλR N h∧⊂∩g¬∪x∩feSP∪gεβ(∀'ε3∃'εrH⊗'π2λ_'λ∧λ
STDg(λ8NP⊂ih !∪TA'(λNP∂ih ∨∪d<g(π8NP∞Ip ≤3d6g(εPO⊂ yx _Sd.gh¬@OP
* ∩T$ (f*`
⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡PTE@/(8Pa xA∞'(6→>P∂(␈ohv@z@∃⊃0↓=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PTE@/(␈ohv@z@∃⊃0↓= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>POE@/(z@⊗10↓= λ0∞Ox␈␈␈pβ∪∂x␈␈␈→@ λM@S0_MA∪0(MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pNπSApNπSApNG3AhNπ3AhNπ3AhNπ3ApNπSApNπSApNπSApNπSApFaQpN H∧H↓g¬d"↓s3p⊗CSD<'λπ8N⊂∞i` ≥3D:&hπ N⊂∞9` ≤SD8gλπMP∞ ` ≠sD7'λεhN⊂
I` ~s45gλεPN⊂
→` ~∪D0'π)X~,∧ `⊂'∧ `⊂'∧ `⊂'∧ X⊂g∧→`⊂g∧→`⊂g∧)`⊃'∧)`⊃'∧)`⊃'∧)`⊃'∧)`⊃'∧)`⊃'∧)X⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧I`∩'∧I`∩'∧I`∩'∧IX∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩fdi`∪'∧i`∪'∧y`∪g∧y`∪g∧y`∪g∧y`∪PλpλN h∧ α'∧t AsB8∨B3B8≡β∪B8≤CsB8≠∧SB8~¬∪B8→E3B8→¬SB8→¬3B8→¬3B8_ESB@_¬SB@↔EsBH⊗F∪BH⊗EsBP∃F∪BX∀F3B`∪F3Bh∩FSRh⊃FsBx⊂εsC∞G3C⊂ GsS_
H∪C0λλSCH¬ ∪T3'λε(NP I` _sT0gλελNP y` ↔ST.'(¬XN⊂ )h ⊗∪T+'(¬ NP
)h ∀∪T''(∧`O⊂ h ⊃Sd!'(∧O∂∪cHO
3rxOJSr PG∀Ph"< G⊂:[ ←(z@≤(0
= ≤π>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(0π↓hz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ≤π>←x←Qm∂(0π↓hz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ 0≤π>P∂(2G↓hz@⊂`≥?␈x␈␈`ε`+?␈x␈}'∂`D2r`P ↔A→0λ⊂ ⊂pKE(¬_
%C4&FRbλ ∩βy8∪⊂λ"(M
λ∧λ∪'¬∧ ISB@ ⊂$i`∀⊂λ∩0N
λ∧λ∪'¬∧ ISB@ ⊂DY`∀⊂λ"(N
λ∧⊂∩g¬∧! 3B@ ⊂DY`∀⊂λ"(N
λ∧⊂∩g¬∧! 3R8 ⊂DY`∪Pλ"(N h∧⊂∩g∧t! 3B8 ⊂DY`∪Pλ"(N h∧⊂∩g∧t! 3B8 ⊂DY`∪Pλ"(N h∧⊂∩g∧t! 3B8 ⊂Di`∪Pλ"0N h∧⊂∪'∧t! SB8 ⊂Di`∪Pλ"0N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ20N H∧_∪'∧d!ISB0 ⊂di`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB0 ⊂Dy`∪⊂λ"8N H∧⊂∪g∧d! sB( ⊂dy`∩Pλ28N (∧_∪g∧T!IsB( ⊂dy`∩Pλ28N (∧_∪g∧T!
∪B( ⊂E h∩⊂λ"@N λ∧⊂∀'∧D J3B( ⊂¬→h∩∂e)`∩OE)`∩O%9h∩NeY`∩NEih∩N¬y`∪
F h∪ f)`∪L&9h∀ &Yh∀J&y`∃Iπ)h⊗GGYh_Eλ∧⊂NP⊂i` !STC'(λ(NP⊂Ih sTA'(λλNP⊂ h ∨sd?'(πhNP∂Ip ≡3T'$9p ∩@1hO⊂λ`( 'H∧⊂βDScp∧C∪cHε↓sc(π3rxP t↓xQDHOλα≤NV`2⎇ ≡Pq!BO(,?P0z@≤(0
< G⊂:[ ←(z␈wt84= λ}A↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(,?P0z␈wt84= λ}A↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←()␈P0z@= X}A↑P∧_π0␈␈␈␈xH
X␈␈␈␈` X
@↓R∨␈x␈←aT7α2⊃@ ~↓i∩⊂ 1_JKλ¬` '%4-εSRX ⊗β)`∃P ↓PNJH¬8
'%$+ε3BP ∃C→h∃⊂
AHNJ(¬ g¬$)ε3RH ∀C→`∃⊂
↓HNJ(¬ g%∀'ε3BH ∪C→h∀P APN
(∧X
'%∀%εSBH ∩#)h∀P ↓PNJλ∧8
'¬∀#εSR@ ⊃#)`∀PλAPNJλ∧_
'¬∀!εSR@ ⊂#)h∀⊂λ↓PN
πqPNJπaPN
πQPNJπAPN
π1PNJπ!PN
π⊃PNJεqXNIfqPN
εQXNIfQPN
ε1XNIf1PN
ε⊃XNJε↓PN
¬qXNJ¬aPN
¬QXNJ¬AXNIe1XN
¬⊃`NIe⊃XN
∧q`NIdqXN
∧Q`NIdQXN
∧1`NJ∧!XN
∧⊃`NJβq`N
βq`NJβQ`NIcQ`N
β1`NIc1`N
β⊃`NIc⊃`N
αqhNJαQhN
αQhNJα1hN
α1hNJα⊃hN
α⊃hNJ↓qhN
↓qhNJ↓QhN
!1pNJ↓1hNJ↓⊃pN
↓⊃hNJqpN
qhNJQpN
ApNJ1pN
⊃pNJ⊃pN⊂λih ⊃3D"'(∧_N⊂λ)h ⊂3D ''y`∨''Yh≥gπ9h≤gπ→h≠gεyh~gεYh→gε9h_gε→h↔g¬yh↔'¬Yh⊗'¬9h∃'% `∀'$i`∪'$I`∩'$)`⊃'$ `⊂'#i`∂'#I`∞'#)`
'# ` '"ih
gαIh gα)hλgα hπg↓ihεg↓Yh¬g↓9h∧g↓→hβgyhαgYh↓g )`Q≡⊂ 9≥-F(z@= ∞⊂C¬≡Pqt,←(8Pa xA∞'(6→>P∂(␈ohv@z@≤=λ2⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pqt,←(␈ohv@z@≤=λ2⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Plt,←(z@≥]λ2⎇ λ0∞␈x␈␈␈pα ~∨x␈␈␈@∀pλ0λMs 0MAs HMαs h #→Xπ⊂⊃ ⊂M∧(λ8α&B4BAS!( !yX ⊂⊂ HMελλ¬&C$?β∪!h ⊃`∪ εfcd#F xMλλ∧ ↓L" P⊃⊂λ (_∧32_ ⊂rp fDcp∧ αYP∀∂↓"P &E#Pε
"yX∃N!R8 fES8πIc→P↔M"∩8 fF#⊂ Ic X→L"B8 &FRx c P≠K#α8 '&bX
byh~JCB0 g&R8∂ Byh~ $α0 g&2 ⊂IBih→λd"0 'ε"_⊃Iαyh→λ$B gε"λ∩ αyh_H$B 'ε∩λ∩ αi`_H∧b⊂ g&α∪λBy`_Gdb⊂ 'ε⊃x∪λBih_πDr⊂ 'ε↓p∀λαy`_πEα 'ε↓p∀λαih_π¬∩ 'ε↓`∃πbi`_π¬!p gε↓`∃πBih↔Fe1p 'ε↓P∃GBi`_εEAh '%qP⊗παi`↔F%Q` '¬qH⊗Gαi`↔F%Q` '%q@↔εBi`↔EeqP '¬q8↔FBi`↔EeqP '%a8↔FBi`↔¬F⊃@ '¬q(_Fαi`↔E"⊂λ∂Fαih↔¬"⊂∂Fαi`↔¬α⊂⊂⊂¬bY`↔¬α⊂⊂⊂¬Bi`↔Db⊂⊂⊂¬Bih↔∧b_⊂¬Bi`↔∧B⊂_⊂¬BY`↔∧B⊂ ⊂¬"Y`↔∧B⊂ ⊂¬αih⊗DB(⊂¬αi`↔∧α⊂(⊂¬αi`↔∧α⊂(⊂DbY`↔∧α⊂(⊂DBih⊗Cb 0⊂∧Bi`⊗Cb⊂8⊂∧Bi`⊗Cb⊂8⊂∧BY`↔βB⊂8⊂D"Yh⊗C" 8⊂Dαi`⊗C"⊂@⊂Dαi`⊗C"⊂H⊂∧αY`⊗C"⊂H⊂CbYh⊗Bb H⊂CbY`⊗Bb⊂P⊂CBi`⊗Bb⊂P⊂CBi`⊗Bb⊂P⊂CBYh⊗αB P⊃β"Y`⊗αB⊂`⊂Cαi`⊗B"⊂`⊂Cαi`⊗B"⊂`⊂CαYh⊗αα `⊃αbY`⊗αα⊂h⊃αbY`⊗αα⊂h⊃αBi`⊗Ab⊂p⊂BBYh⊗↓B p⊂BBY`⊗↓B p⊃α"Y`⊗↓B⊂x⊃ααi`⊗↓B⊂x⊃ααih∃A" x⊃ααY`⊗↓α x⊃AbY`⊗↓α⊃λ⊃↓bY`⊗↓α⊃λ⊃↓Bi`⊗b!λ⊃↓BYh∃@b!λ⊃A"Y`∃@b⊃⊂⊃A"Y`⊗B⊃⊂⊃Aαi`⊗"!⊂⊃AαYh∃@"!_⊃↓αY`∃@"!_⊃@bY`∃@"⊃ ⊃@bY`≡E∧0⊂ ''A ⊃@BY`≡¬∧@λ
gπ1(∩"Y`≥EG→`≥EG h≥¬G `≤Eg `≤Eg `≤Efyh≤¬fy`≤εεi`≠F&i`≠F&i`≠F&Yh≠ε&Y`~FFY`~FFY`~FFIh~εf9`~εf9`→Gε9`→Gε9`→Gε)h→πε)`→πε)`_G&)`_GF `_GF h_πF `_πF `↔Gey`↔Gey`↔Geyh↔πey`↔λ¬i`↔λ¬Y`⊗H%Y`⊗H%Yh⊗λ%Y`⊗λ%I`⊗λ%I`⊗λ%I`⊗λE9h∃HE)`∃HE)`∃λe)`∃λe)`∃λe)h∀He→`⊃J$9`∂ cY`
"y` ∞b→hε⊂λ`N↓H∧0β⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡PP ←o(8Pa xA∞'(6→>P∂(␈ohv@z@∀αp␈=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PP ←o(␈ohv@z@∀αp␈= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PK ←o(z@∃"p␈= λ0∂∂x␈␈␈pα⊃p∪⊂αβ0∃λ∪S ⊗πSC_⊗GSS⊂⊗G3Cλ↔π∪S↔π∪Rx⊗G∪Bx⊗FsRp⊗FsBp⊗εsRp∃FSRh∃εsBh∃εSRh∀εSBh∀εSR`∪FSBh∩FSR`∩FSRX∩εSB`⊃F3RX⊃ε3B`⊂εSRX⊂ε3BX∂F3RX∂ε3RP∞F3BX
F3RP
F3BP
ε3RP F∪RH ε3BP ε3RH ε∪BH
F3RH F3BH F∪RHλF3R@λF∪BHπF∪R@πε3BHεF∪R@εε∪BH¬ε3R@¬ε∪R@∧ε∪B@βF3R@βε∪B@αF∪R@↓F3R8↓F∪B@F∪R8F∪CxNO3C`NNsSHN∞∪S8N
SS NLsC⊂NL∪CNKSBhNK∪RPN
3R@N sR8N sR8NIsB8NIsB8NIsR8N sR8N s2HMJSBXMK32pN s3MLSC_MM∪30N
S3@MN3CPMO∪3hN∂S3xMF∩@Nε"8MF2@MFR@MF R@Nεr@MF r@MF!∩@Nε↓"HMF!2@MF!BHNε↓b@MF!bHMF"α@Nε"αHMF""HMF"2HNε"2PMF"RHMF"bPNε"rHMF#αPMFC∩PNε#"PMF#2XMFCBPNε#RXMFCbXMFCrXNεCr`MFD∩XMFD"`NεD2XMFDB`MFdBhNεDb`MFDrhMFdrhMFe∩hNεe∩hMFe"pMG¬2pNεeBpMG¬BxMG%BxNπ¬SMG%SλMGEC⊂NπEC_MGe3 MH¬#0"< G⊂:[ ←(z@≤(0
= PsM>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(2\s(z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ PsM>←x←Qm∂(2\s(z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ sM>P∂(5≤s(z@⊂`≡?␈x␈␈`β@0←␈x␈o(⊂@→@αf↓)HεP∂0_L∧Hπ0β&αd9αS↓X ≠!YH∂⊂
!Lλhε( f∧t0Esα` ↔β)H↔P ⊃hL
λ¬(∂fπ∧*Gs#P ∃#ih≥⊂
ApO∞λ¬ ∞g'∧)G3S8 ∀cIp≠⊂
!`NM(¬⊂
g&T(π∪S ∀β9h~⊂ qXNLh∧x
'&4'εSS⊂ ∪C→h_P QPN H∧` g&∀&ε3Sλ ∩c h_⊂ !HN (∧H '&∧$F∪Rx ∩β `_⊂λq@NKh∧8 gε∧"F∪Rx ⊃"y`↔PλA@NKh∧_ g¬t!EsRx ⊂"y`↔Pλ⊃8NKgq8N gq8NKGa8N gQ8NKGQ0N g18NKG10N G!8NKG⊃0N G↓8NKFq0N Fa8NK&a0N FQ0NK&A0N &A0NK&!0N &!0NK&↓0N &↓0NK¬q0N %a0N %Q0NK%A0N %10NK¬10N %!(NK¬⊃0N ¬⊃(NK∧q0N ∧q(NK∧Q0N ∧Q(NJdA0N ∧1(N ∧!0NJd!(N ∧↓(NJd↓(N βa(NJca(N
cQ(NJcA(N
c1(N
c1(NJc⊃(N
c⊃(NJC↓(N
bq(NJBa(N
bQ(N
bA(NJBA(N
b1 NJB!(N
B! NJB↓(N
B↓ N
aa(NJAa N
AQ(NJAA N
A1(NJ!1 N
A⊃(N
A⊃ NJ@q(N
@q NJ a(N
@Q N
@A(NJ A N
@!(NJ ! N∂sShN∂3C`NNsCPNN3C@N∞∪S0N
SS N
∪S⊂N SCλNL∪BxNKSBhN 3RXN
sRHN
3B@NIsB0NI3B N ∪R⊂NλSRλNλ∪BNGSApNG∪A`NεsQPNε3Q@N¬sA8NE3A(N¬∪1(N¬∪1(N¬∪1(ME3A(ME3A(ME3A(ME3A(ME310N¬310N¬310N¬310MESA0MESA0MES18N¬S18N¬S18N¬s18MF∪A8MF∪A8MF∪A@MF∪1HNε∪1HNε31HNε31PNεS1XMG∪A`MG3ApMGsBMH3A`MEsAλMC30@NHOλα≤NV`2⎇ ≡Pq!BO(/∃∃8z@≤(0
< G⊂:[ ←(z␈wt84= `TU}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(/∃∃8z␈wt84= `TU}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(,U∃8z@= 0TU}P∧_πP␈␈␈␈x↓⊂
P H
@↓R∨␈x␈\ T>∧∪1λ _∧ `⊂MG→` #sDG'λλhN⊂⊃IX #∪DEgλλPN⊂⊃→` "∪DCfhλ8N⊂⊂i` !3DB'λλ_MP⊂9` SD@gλλN⊂∂y` ∨s4?gλπpN⊂∂Y` ∨∪D=gλπPMP∂)` ≡3AX ⊂λY` JG)`εMf9X¬⊂λαhN↓H∧H∪g$(HI
apMGSAhNπ31hNπ∪1`Nεs1XNεSAPMFSAHMF3A@MF3A@MF∪A8MEsA8MEsA0MESA0MESA(ME3A(ME31(N¬∪1(N¬∪1 ME3A ME∪1(N¬∪1 ME3A ME∪1(N¬∪1(ME31(N¬31(MES10N¬S10MEs18MEsA8MEs1@MF3A@MF31HMFS1PMFsAPMFs1`MG∪1hMG3AhMGS2 ∀`→X∩P 0(MJh∧⊂∧ff#@εfg"X gλ∧ Fs4<fhπPMP∂9X ∨∪4>fhπpMP∂yX ∪4@gλλλMP⊂)X s4B&hλ(MP⊂iX !s4D&hλHMP⊃)X "s4F&hλhMP⊃iX #s4H&h λMP∩)X $s4J&g∪0∪&d$.Es1⊂ ≡!IXαP⊃p "< G⊂:[ ←(z@≤(0
= εPe≥>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(~Y'(z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ εPe≥>←x←Qm∂(~Y'(z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ εe≥>P∂(≥→'(z@⊂` ?␈x␈␈`α _ ∩ ↔`α(¬HN⊂ →` ⊗3D,gλ¬HN⊂ →` ⊗3D,gλ¬HN⊂ →` ⊗3D,gλ¬HN⊂ →` ⊗3D,gλ¬HN⊂ →` ⊗3D,gλ¬HN⊂ →` ⊗(Oλα≤NV`2⎇ ≡Pq!BO(∃-jPz@≤(0
< G⊂:[ ←(z␈wt84= ¬(7*↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(∃-jPz␈wt84= ¬(7*↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(∩mjPz@= ¬x7*↑P∧_αp␈␈␈␈x↓8βhα0↓8∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪Q≡⊂ 9≥-F(z@= ∞⊂C¬≡P*[U/(8Pa xA∞'(6→>P∂(␈ohv@z@
VpU=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P*[U/(␈ohv@z@
VpU= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P%[U/(z@ vpU= λ0¬Ox␈␈␈pαpπ←x␈␈x`∧`αr8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8TεsAPMFsAPNεSAPNε31PNε3AHNε∪A@MF∪A@N¬sA8N¬S18N¬SA0N¬SA(MESA(N¬3A N¬∪1 N¬∪A_N∧sA⊂MDsA⊂N∧SA⊂N∧31⊂N∧3AλN∧∪AMD∪ANβs@xNβS0xNβS@pNβS@hMCS@hNβ3@`Nβ∪0`">gZ ≥≤|K'P/ P/?␈x␈␈`O␈␈x␈j`=↑bλ∂β( p
;`{ ∃ [∪`f{↑bhεX↓<>(→>H{ @∃ [∪`f9}cx⊃hβvP0¬∧0{⊂ 7@`"← λ}d⊂ ⊂αV6λE@{⊂`:``zQ@∧¬>d ∞β h@↓6X{⊃ 3@X1O@π␈>d0 αYG0α,p{⊃`B`p\l@
e}d@∂⊂β+≥⊂β ⊂{∩ #@8m≡ ∂6≡dP ⊂α:∩⊂∧∪h{∩`5@Xcm@∩∧↑d` pαl3p¬P_{∪ > h←↔@↔l↑dp∞xβ$zHε]`{∪`G xZA@≥[>e
pβλVPλ↓_{∀ G xZA@!s>e⊂
αn⎇_ ↔{∀`1`P␈,@&U>e
pβλVP
⊂`{∃ B`p\l@+∩>e0∂β( p 2λ{∃`P↓λUf`/K≡e@⊂XβW≠⊂ Xh{⊗ B`p\l@4}↑eP⊃hβvP0
T`{_ -Hs⎇@8P}f⊂ ⊂αV6λ∞H0{_`1Pf≥@<@>f hαi"H∂@ {→ 8`/ @@⊃≡f0πh↓[sH⊂1X{→`-@P↓W@C↓}f@
0αx|H⊃&{~ ≥`0E[G)↑fPλ ↓h;λ∩
X{~`/ P3z J∃≡f`π8↓Q6`∪¬@{≠ T@↓⊂S;`M@}fp 8α←k⊂∀ P{≠`5@Xcr R↑g
0αx|H∀xλ{≤ 3@X1O@Uq↑g⊂ Hα∞∀⊂∃{⊂{≤`,@HhH@Y∂>g
Hα*8λ⊗Sp{≥ 0PM @\∧>g0 ⊂α:∪(↔<X{≥`9`H3@←'↑g@
α~\h_3P{≡ 2`X_@@b⎇>gP hαL}H→_8|@ x4`;⎇xow{⎇x